Module tuple 

Sequential and dependent composition.

Pair parses two formats in order; N-ary formats nest it as Pair(A, Pair(B, C)). Bind chooses the second format based on the first’s value.

Modules

exec

Executable trait implementations for this combinator. Executable sequential composition.

proof

Correctness proofs for this combinator. Correctness and ambiguity proofs for sequential composition.

spec

Specification trait implementations for this combinator. Specifications for sequential composition.

Structs

Bind

Sequential composition of formats A and B, where B may depend on the value of A.

Pair

Sequential composition of formats A and B.