package alba

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