Man pages for s7contract
Behavioral Contracts and Generative Laws for 'S7'
| 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 |
| grapes-colon-colon-grapes | Evaluate an S7 call under an interface or trait contract |
| 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 |
