Module proof 

Correctness proofs for this combinator. Correctness proofs and recursive-body preservation helpers for super::FixWith.

Traits

EquivSerializersGeneralRecBody

Serializer equivalence invariant preservation for recursive bodies.

NoLookAheadRecBody

No-lookahead invariant preservation for recursive bodies.

NonMalleableRecBody

Non-malleability preservation for recursive bodies.

SPRoundTripDpsRecBody

DPS serialize-parse roundtrip preservation for recursive bodies. Similar to Star, the body must also be NonTailFmt.

StrictRecBody

Convenience trait bundling the standard recursive-body preservation obligations.

Functions

no_lookahead_parser

non_malleable_parser

parser_pair_some

sp_roundtrip_dps