sig
type t = Lang.field
val debug : Lang.field -> string
val hash : Lang.field -> int
val compare : Lang.field -> Lang.field -> int
val equal : Lang.field -> Lang.field -> bool
val pretty : Format.formatter -> Lang.field -> unit
val sort : Lang.field -> Qed.Logic.sort
end