1932def jsonCountsArrayElement =
1933 (constructor
1934 JSONCounts
1935 JSONCountsValue
1936 zero
1937 zero
1938 zero
1939 zero
1940 (succ zero)
1941 zero
1942 zero
1943 zero
1944 zero
1945 zero
1946 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.