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