Module LogtkOrdering

module LogtkOrdering: sig .. end

Term LogtkOrderings




LogtkType definitions


module type S = LogtkOrdering_intf.S

Functor


module Make (P : LogtkPrecedence.S  with type symbol = LogtkSymbol.t) : S  with module Prec = P and type term = LogtkFOTerm.t
module Default: S  with module Prec = LogtkPrecedence.Default and type term = LogtkFOTerm.t
include LogtkOrdering.Default