One of a closed set of string values, or null — the value a HELD-scope latch carries:
/safety/panic's engaged scope, where null IS the released state, a real value distinct
from every member of the vocabulary. null decodes to null; everything else narrows
through enumOf, so the two can never be confused on the wire (the same law
nullableToken states for identifiers).
One of a closed set of string values, or
null— the value a HELD-scope latch carries:/safety/panic's engaged scope, wherenullIS the released state, a real value distinct from every member of the vocabulary.nulldecodes tonull; everything else narrows through enumOf, so the two can never be confused on the wire (the same law nullableToken states for identifiers).