Module type LogtkPrecedence.SYMBOL

module type SYMBOL = sig .. end

type t 
val eq : t -> t -> bool
val hash : t -> int
val cmp : t -> t -> int
val false_ : t
val true_ : t
val pp : Buffer.t -> t -> unit
val pp_debug : Buffer.t -> t -> unit