No schema bound — what cap / elemMax take for an array or element the
schema left open (§7.2), so the receiver cap beside them governs instead.
Exported because the schema bounds are required arguments with no default: an
absent one is a fact about the schema, which only generated code knows, and
§6.2.1's ban on a codec defaulting a bound is easiest to keep honest when every
bound has to be spelled. This is the spelling for "there is none".
No schema bound — what
cap/elemMaxtake for an array or element the schema left open (§7.2), so the receiver cap beside them governs instead.Exported because the schema bounds are required arguments with no default: an absent one is a fact about the schema, which only generated code knows, and §6.2.1's ban on a codec defaulting a bound is easiest to keep honest when every bound has to be spelled. This is the spelling for "there is none".