Module LogtkPrecedence_intf (.ml)

module LogtkPrecedence_intf: sig .. end

Interface of LogtkPrecedence



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