This commit is contained in:
Tony Garnock-Jones 2019-07-13 22:26:29 -04:00
parent e2b859e55d
commit f08e223cb0
1 changed files with 4 additions and 5 deletions

View File

@ -555,11 +555,10 @@ Applications *SHOULD* prefer the known-length format for encoding
### Placeholders.
Any given protocol using Preserves may define an interpretation for
numbered *placeholders* in the binary syntax, mapping each
*placeholder number* `n` to a specific `Value`. For example, a
placeholder number may be assigned for a frequently-used `Record`
label.
Applications may define an interpretation for numbered *placeholders*
in the binary syntax, mapping each *placeholder number* `n` to a
specific `Value`. For example, a placeholder number may be assigned
for a frequently-used `Record` label.
A `Value` `v` for which placeholder number `n` has been assigned may
be tersely encoded as