fact: Fixpoint xforall (m : t) (i : positive) := match m with | Leaf => true | Node l o r => (negb o ||| f (rev i)) &&& xforall r i~1 &&& xforall l i~0 end.
imports: Bool PeanoNat BinPos Orders OrdersEx MSetInterface