fact: Definition equal_opt (A:Type)(cmp : A -> A -> bool) o1 o2 : bool := match o1, o2 with | None, None => true | Some v1, Some v2 => cmp v1 v2 | _, _ => false end.
imports: Coq(Bool PeanoNat BinPos Orders OrdersEx OrdersLists) MMaps(Utils Comparisons Interface)