1883def jsonCountsObject =
1884 (constructor
1885 JSONCounts
1886 JSONCountsValue
1887 (succ zero)
1888 (succ zero)
1889 zero
1890 zero
1891 zero
1892 zero
1893 zero
1894 zero
1895 zero
1896 zero
1897 zero)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.