The limits every AOS-JSON/1 stream declares in its header (a line of
1 MiB, 64 levels, a string of 256 KiB, 65,536 members), stated with
Data.JSON's bounds.
41def aosLimits : (family JSONLimits) =
42 (constructor
43 JSONLimits
44 JSONLimitsValue
45 (constructor JSONBound JSONBoundAtMost 1048576)
46 (constructor JSONBound JSONBoundAtMost 64)
47 (constructor JSONBound JSONBoundAtMost 262144)
48 (constructor JSONBound JSONBoundAtMost 1024)
49 (constructor JSONBound JSONBoundAtMost 65536)
50 (constructor JSONBound JSONBoundBelowTwoPower 24))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.