sig   type t = lfun   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 category : t -> t Qed.Logic.category   val params : t -> Qed.Logic.sort list   val sort : t -> Qed.Logic.sort end