module Field:sig
..end
typet =
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