1965def jsonCountsNumber =
1966 (lambda unrestricted length : Nat .
1967 (constructor
1968 JSONCounts
1969 JSONCountsValue
1970 (succ zero)
1971 zero
1972 zero
1973 zero
1974 zero
1975 zero
1976 (succ zero)
1977 zero
1978 zero
1979 zero
1980 length))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.