alba

Alba compiler
IN THIS PACKAGE
Module Alba_core . Term . Pi_info
type t
val make : string -> bool -> bool -> bool -> t

make name typed arrow kind

val name : t -> string
val is_anonymous : t -> bool
val is_arrow : t -> bool
val is_typed : t -> bool
val is_implicit : t -> bool
val arrow : t
val typed : string -> t
val untyped : string -> t