Module LogtkPartialOrder

module LogtkPartialOrder: sig .. end

Partial LogtkOrdering

A dense partial ordering on objects, implemented with a matrix. It allows one to combine partial orders, to complete it using a total order, to compute its transitive closure...

module type S = LogtkPartialOrder_intf.S

Functor Implementation

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