1916def jsonCountsArray =
1917 (constructor
1918 JSONCounts
1919 JSONCountsValue
1920 (succ zero)
1921 zero
1922 zero
1923 (succ zero)
1924 zero
1925 zero
1926 zero
1927 zero
1928 zero
1929 zero
1930 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.