fact: Fixpoint equal (A:Type)(cmp : A -> A -> bool)(m1 m2 : t A) : bool := match m1, m2 with | Leaf, _ => is_empty m2 | _, Leaf => is_empty m1 | Node l1 o1 r1, Node l2 o2 r2 => equal_opt cmp o1 o2 &&& equal cmp l1 l2 &&& equal cmp r1 r2 end.
imports: Coq(Bool PeanoNat BinPos Orders OrdersEx OrdersLists) MMaps(Utils Comparisons Interface)