1948def jsonCountsString =
1949 (lambda unrestricted length : Nat .
1950 (constructor
1951 JSONCounts
1952 JSONCountsValue
1953 (succ zero)
1954 zero
1955 zero
1956 zero
1957 zero
1958 (succ zero)
1959 zero
1960 zero
1961 zero
1962 length
1963 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.