Expand description
Definitions and traits for resolving and satisfying execution witnesses for Simplicity programs.
Traitsยง
- Witness
Trait - An interface for structs capable of generating Simplicity program witness mappings.
See the
include_simc!()macro, which generates an automaticWitnessTraitimplementation.