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