package archetype

  1. Overview
  2. Docs

Module Env.StateSource

Sourceval lookup : t -> Ident.ident -> statedecl option
Sourceval get : t -> Ident.ident -> statedecl
Sourceval exists : t -> Ident.ident -> bool
Sourceval byctor : t -> Ident.ident -> statedecl option
Sourceval push : t -> statedecl -> t