module Fun:sig
..end
typet =
Lang.lfun
val id : Lang.lfun -> string
val link : Qed.Engine.cmode -> Lang.lfun -> Qed.Engine.link
val theory : 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