12 "$ref" : "#/definitions/one/anytype"
15 "additionalProperties" : false,
47 "subType" : "universal charstring",
51 "additionalProperties" : false,
67 "subType" : "octetstring",
68 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
111 "default" : "-infinity"
114 "additionalProperties" : false,
146 "additionalProperties" : false,
156 "subType" : "octetstring",
157 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
160 "additionalProperties" : false,
188 "additionalProperties" : false,
200 "additionalProperties" : false,
210 "subType" : "bitstring",
211 "pattern" : "^[01]*$"
214 "additionalProperties" : false,
225 "subType" : "record of",
228 "subType" : "bitstring",
229 "pattern" : "^[01]*$"
253 "subType" : "record of",
256 "subType" : "hexstring",
257 "pattern" : "^[0-9A-Fa-f]*$"
262 "subType" : "record of",
269 "subType" : "record of",
271 "$ref" : "#/definitions/two/Ints"
276 "subType" : "set of",
279 "subType" : "octetstring",
280 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
288 "subType" : "record of",
290 "$ref" : "#/definitions/two/PosInt"
295 "subType" : "set of",
298 "subType" : "universal charstring"
307 "subType" : "charstring"
312 "subType" : "record of",
334 "subType" : "record",
352 "additionalProperties" : false,
363 "additionalProperties" : false,
375 "subType" : "set of",
378 "subType" : "record",
381 "originalName" : "num",
385 "additionalProperties" : false,
393 "subType" : "record",
396 "$ref" : "#/definitions/three/Nums"
399 "additionalProperties" : false,
406 "subType" : "record of",
408 "$ref" : "#/definitions/one/Rec"
413 "subType" : "record of",
415 "$ref" : "#/definitions/three/Thing"
421 "originalName" : "b",
425 "originalName" : "i",
426 "unusedAlias" : "int",
430 "originalName" : "cs",
431 "unusedAlias" : "str",
433 "subType" : "charstring"
436 "originalName" : "rec",
438 "subType" : "record",
444 "additionalProperties" : false,
455 "subType" : "record of",
462 "subType" : "record",
466 "subType" : "universal charstring"
489 "subType" : "octetstring",
490 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
499 "additionalProperties" : false,
521 "additionalProperties" : false,
531 "subType" : "bitstring",
532 "pattern" : "^[01]*$"
535 "additionalProperties" : false,
545 "subType" : "octetstring",
546 "pattern" : "^([0-9A-Fa-f][0-9A-Fa-f])*$"
549 "additionalProperties" : false,
563 "subType" : "universal charstring"
566 "additionalProperties" : false,
576 "subType" : "charstring"
579 "additionalProperties" : false,
589 "subType" : "universal charstring"
592 "additionalProperties" : false,
602 "subType" : "charstring"
605 "additionalProperties" : false,
615 "subType" : "universal charstring"
618 "additionalProperties" : false,
628 "subType" : "universal charstring"
631 "additionalProperties" : false,
641 "subType" : "universal charstring"
644 "additionalProperties" : false,
654 "subType" : "charstring"
657 "additionalProperties" : false,
667 "subType" : "universal charstring"
670 "additionalProperties" : false,
680 "subType" : "universal charstring"
683 "additionalProperties" : false,
693 "subType" : "charstring"
696 "additionalProperties" : false,
705 "subType" : "record of",
707 "$ref" : "#/definitions/Zero/AnyString"
715 "$ref" : "#/definitions/Zero/SeqProduct"
719 "subType" : "set of",
721 "$ref" : "#/definitions/Zero/Number"
725 "$ref" : "#/definitions/Zero/ManyStrings"
742 "additionalProperties" : false,
763 "subType" : "set of",
765 "$ref" : "#/definitions/Zero/Number"
769 "additionalProperties" : false,
778 "$ref" : "#/definitions/Zero/ManyStrings"
781 "additionalProperties" : false,
804 "subType" : "set of",
806 "$ref" : "#/definitions/Zero/Number"
815 "pattern" : "^[0-2][.][1-3]?[0-9]([.][0-9]|([1-9][0-9]+))*$"
820 "pattern" : "^[0-2][.][1-3]?[0-9]([.][0-9]|([1-9][0-9]+))*$"
826 "$ref" : "#/definitions/two/Ints",
842 "printing" : "pretty"
846 "$ref" : "#/definitions/one/Rec",
855 "INVAL_MSG" : "ERROR"
867 "$ref" : "#/definitions/Zero/Big_Set",