alba.albalib
Term.Lambda_info
alba.fmlib
alba.fmlib_native
alba.fmlib_node
type t
val name : t -> string
val is_anonymous : t -> bool
val is_typed : t -> bool
val typed : string -> t
val untyped : string -> t