Module ezno_checker::context::environment

Structs

• AlreadyExists
  Error type for something already being defined
• Syntax

Enums

• DeclareInterfaceResult
• DynamicBoundaryKind
  Code under a dynamic boundary can run more than once
• ExpectedReturnType
• FunctionScope
  TODO better names Decides whether await and yield are available and many others
• Returnable
• Scope
  TODO name of structure TODO conditionals should have conditional proofs (separate from the ones on context)

Type Aliases

• ContextLocation
  For WIP contextual access of certain APIs
• Label
  For labeled statements