package logtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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