Module Logtk.Precedence (.ml)

module Precedence: LogtkPrecedence

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