Module Logtk.PartialOrder (.ml)

module PartialOrder: LogtkPartialOrder

module type S = LogtkPartialOrder_intf.S

Functor Implementation


module type ELEMENT = sig .. end
module Make (E : ELEMENT) : S  with type elt = E.t