fact: Fixpoint find (i : key) (m : t A) : option A := match m with | Leaf => None | Node l o r => match i with | xH => o | xO ii => find ii l | xI ii => find ii r end end.
imports: Bool OrderedType ZArith OrderedType OrderedTypeEx FMapInterface