%::%                    Evaluate an S7 call under an interface or trait
                        contract
gen_bind                Compose dependent, sized, and recursive
                        generators
gen_commands            Generate and shrink model-valid command
                        sequences
gen_constant            Basic property-based test generators
gen_double              Generate finite double values
gen_element             Choose values or generators
gen_example             Inspect a generator or disable its shrinking
gen_sample              Sample source positions without replacement
interface_requirements
                        Inspect or check a Go-like structural interface
new_command             Describe a command for a stateful protocol
new_generator           Construct a property-based test generator
new_interface           Build a Go-like structural interface on top of
                        S7
new_law                 Define and check a generative law
new_state_law           Define a generative law for a stateful protocol
new_trait               Build a Rust-like explicit trait on top of S7
s7contract              s7contract: Behavioral Contracts and Generative
                        Laws for S7
trait_methods           Inspect or use a Rust-like explicit trait
