fact: Fixpoint mem (i : elt) (m : t) {struct m} : bool := match m with | Leaf => false | Node l o r => match i with | 1 => o | i~0 => mem i l | i~1 => mem i r end end.
imports: Bool PeanoNat BinPos OrderedType OrderedTypeEx FSetInterface