the value of a ::= is None