package aez

  1. Overview
  2. Docs
type t = Hstring.t
val declare : Hstring.t -> Type.t list -> Type.t -> unit
val type_of : t -> Type.t list * Type.t
val has_abstract_type : t -> bool
val has_type_proc : t -> bool
val declared : t -> bool