Module Logtk.Precedence_intf (.ml)

module Precedence_intf: LogtkPrecedence_intf

type symbol_status = 
| Multiset
| Lexicographic
module type S = sig .. end