The @CHECK rules of one JSONType plus the type graph needed to find every instance of each rule's scope type inside a parsed document.
@CHECK
Declared type name → edges to child types that (transitively) carry rules.
True when the field holds an array of RootType.
RootType
Declared name of the type bound to the field.
The
@CHECKrules of one JSONType plus the type graph needed to find every instance of each rule's scope type inside a parsed document.