fact: Definition oelse {A} (o o' : option A) := match o with | None => o' | _ => o end.
imports: Coq(Bool BinPos Pnat Setoid SetoidList PeanoNat) Coq(Orders OrdersFacts OrdersLists) MMaps(Utils Interface OrdList GenTree)