Make.Sym
type t
val compare : t -> t -> int
val equal : t -> t -> bool
val pp : t Pp.printer
val show : t -> string
val serialize : t -> Basis.Symbol.J.value
val deserialize : Basis.Symbol.J.value -> t