Module Pomap_impl

module Pomap_impl: sig .. end
Implementation of partially ordered maps


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