Sigh. I was wrong. The $ sign is legal CDDL: > Per convention, CDDL extension points are marked with a leading > dollar sign (types) or two leading dollar signs (groups). [draft-ietf-cbor-cddl-07]
It isn't *required* but it shows that the item in question is expected to be extended in future. So either include it or don't, but at the moment there's a nit in your text: the syntax says > transport-proto /= IPPROTO_TCP but the following paragraph says: > The $transport-proto above indicates the method... Otherwise, fwiw I'm happy with bootstrapping-keyinfra-19. Brian On 02-Mar-19 11:43, Brian E Carpenter wrote: > On 02-Mar-19 10:34, Michael Richardson wrote: >> >> Brian, we have CDDL in BRSKI: >> >> ipv6-address = the v6 LL of the Proxy >> $transport-proto /= IPPROTO_TCP ; note this can be any value from the >> ; IANA protocol registry, as per >> ; [GRASP] section 2.9.5.1, note 3. >> >> and we don't know why we have a $ on transport-proto. >> Maybe it's a typo. > > I think it's a typo. As additional evidence, the comment is one space > too far to the right. Editorial fix! > > Brian > _______________________________________________ Anima mailing list [email protected] https://www.ietf.org/mailman/listinfo/anima
