module Fun:sig
..end
typet =
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 parameters : (Lang.lfun -> Qed.Logic.sort list) Pervasives.ref
val params : Lang.lfun -> Qed.Logic.sort list