package archetype

  1. Overview
  2. Docs

Module Typing.EnvSource

Sourcetype t
Sourcetype label_kind = [
  1. | `Plain
  2. | `Loop of Ident.ident
]
Sourcetype entry = [
  1. | `Label of t * label_kind
  2. | `State of statedecl
  3. | `Type of M.ptyp
  4. | `Local of M.ptyp
  5. | `Global of vardecl
  6. | `Proc of procsig
  7. | `Asset of assetdecl
  8. | `Action of t tactiondecl
  9. | `Field of Ident.ident
]
Sourcetype ecallback = error -> unit
Sourceval create : ecallback -> t
Sourceval emit_error : t -> error -> unit
Sourceval name_free : t -> Ident.ident -> bool
Sourceval lookup : t -> Ident.ident -> entry option
Sourceval open_ : t -> t
Sourceval close : t -> t
Sourceval inscope : t -> (t -> t * 'a) -> t * 'a
Sourcemodule Label : sig ... end
Sourcemodule Type : sig ... end
Sourcemodule Local : sig ... end
Sourcemodule Var : sig ... end
Sourcemodule Proc : sig ... end
Sourcemodule State : sig ... end
Sourcemodule Asset : sig ... end
Sourcemodule TAction : sig ... end