Expand description
Conditional format controlled by a boolean flag.
A disabled Cond accepts and serializes no values; an enabled one
delegates its specifications, executable operations, and proofs to its child.
Modules§
- exec
- Executable trait implementations for this combinator. Executable implementation for boolean-gated formats.
- proof
- Correctness proofs for this combinator. Correctness proofs for boolean-gated formats.
- spec
- Specification trait implementations for this combinator. Specification for boolean-gated formats.
Structs§
- Cond
- Conditionally apply
Innerdepending on a boolean flag.