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