Module 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.