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