Implementation of partially ordered maps
module Make : functor (PO : Pomap_intf.PARTIAL_ORDER) -> Pomap_intf.POMAP with type key = PO.el