Functor Pomap_impl.Make

module Make: 
functor (PO : Pomap_intf.PARTIAL_ORDER) -> POMAP with type key = PO.el
Parameters:
PO : Pomap_intf.PARTIAL_ORDER