Module Logtk.PartialOrder_intf (.ml)

module PartialOrder_intf: LogtkPartialOrder_intf

module type S = sig .. end