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