The stated constraints
Optionalconstraints: COptional shape constraints
An immutable shape admitting the language maps the constraints bound, carrying a single string per tag where they state uniqueLang
Readonlykind: "dictionary"Discriminator identifying this as a dictionary shape.
Inheritance — cannot be overridden.
ReadonlyuniqueLang: C["uniqueLang"]Restricts every tag to a single string, exactly as stated.
Carries the constraint at the value it was given rather than at the whole boolean domain, so that the content of a tag is typed at the arity the shape admits.
TraceError Where the stated constraints contradict one another
Creates a dictionary shape.
Contradictory constraints are rejected as the shape is built, so a shape that exists admits at least one value.