Module LogtkPrecedence

module LogtkPrecedence: sig .. end

LogtkPrecedence (total ordering) on symbols



type symbol_status = LogtkPrecedence_intf.symbol_status = 
| Multiset
| Lexicographic

LogtkSignature


module type S = LogtkPrecedence_intf.S

Functor


module type SYMBOL = sig .. end
module Make (Sym : SYMBOL) : S  with type symbol = Sym.t
module Default: S  with type symbol = LogtkSymbol.t
include LogtkPrecedence.Default