Module solution

Solutions

Data types that are used to create solutions to predicates.

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.