fact: Definition mapo (m : t elt) : t elt' := treeify (mapoL (rev_bindings m) nil).
imports: Coq(Bool BinPos Pnat Setoid SetoidList PeanoNat) Coq(Orders OrdersFacts OrdersLists) MMaps(Utils Interface OrdList GenTree)