Module Logtk.Ordering (.ml)

module Ordering: LogtkOrdering


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