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