module Pomap_intf: sig .. end
sig
end
module type PARTIAL_ORDER = sig .. end
module type POMAP = sig .. end