essential_check::types

Module solution

Expand description

§Solutions

Data types that are used to create solutions to predicates.

Modules§

decode: Decoding
encode: Encoding

Structs§

Mutation: A mutation to a single Key in state.
Solution: A solution for a single contract predicate.
SolutionSet: A set of Solutions.

Type Aliases§

SolutionIndex: An index into a SolutionSet’s solutions slice.