fact: Fixpoint is_empty (m : t A) : bool := match m with | Leaf => true | Node l None r => (is_empty l) &&& (is_empty r) | _ => false end.
imports: Coq(Bool PeanoNat BinPos Orders OrdersEx OrdersLists) MMaps(Utils Comparisons Interface)