package alba

  1. Overview
  2. Docs
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