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