package aez

  1. Overview
  2. Docs
val init : (Symbol.t * Type.t) list -> unit
val close : unit -> unit
val assign_constr : Symbol.t -> Hstring.t -> unit
val assign_var : Symbol.t -> Symbol.t -> unit
val print : unit -> unit
val get_variants : Symbol.t -> Hstring.HSet.t