Module ergotree_interpreter::eval

Interpreter

Modules

• context
  Context(blockchain) for the interpreter
• env
  Environment for

Structs

• ReductionDiagnosticInfo
  Diagnostic information about the reduction (pretty printed expr and/or env)
• ReductionResult
  Result of expression reduction procedure (see reduce_to_crypto).

Enums

• EvalError
  Interpreter errors

Functions

• extract_sigma_boolean
  Expects SigmaProp constant value and returns it’s value. Otherwise, returns an error.
• reduce_to_crypto
  Evaluate the given expression by reducing it to SigmaBoolean value.