Module Lang.Field

module Field: sig .. end

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