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