Package genlayer.std._internal#
Warning
This is an internal module
- exception genlayer.std._internal.ContractError[source]#
Represents “Contract error” result of a contract that is passed to validator function of
genlayer.std.run_nondet()
Validating leader output and sandbox invocation are only places where contract can “handle” contract error
- class genlayer.std._internal.ContractReturn[source]#
Represents a normal “Return” result of a contract that is passed to validator function of
genlayer.std.run_nondet()