2014def jsonCountsAdd =
2015 (lambda unrestricted left : (family JSONCounts) .
2016 (lambda unrestricted right : (family JSONCounts) .
2017 (eliminate
2018 JSONCounts
2019 (lambda unrestricted current : (family JSONCounts) . (family JSONCounts))
2020 left
2021 (branch
2022 JSONCountsValue
2023 lv
2024 lo
2025 lm
2026 la
2027 le
2028 ls
2029 ln
2030 lb
2031 lz
2032 lsb
2033 lnb
2034 .
2035 (eliminate
2036 JSONCounts
2037 (lambda unrestricted current : (family JSONCounts) . (family JSONCounts))
2038 right
2039 (branch
2040 JSONCountsValue
2041 rv
2042 ro
2043 rm
2044 ra
2045 re
2046 rs
2047 rn
2048 rb
2049 rz
2050 rsb
2051 rnb
2052 .
2053 (constructor
2054 JSONCounts
2055 JSONCountsValue
2056 (naturalAdd lv rv)
2057 (naturalAdd lo ro)
2058 (naturalAdd lm rm)
2059 (naturalAdd la ra)
2060 (naturalAdd le re)
2061 (naturalAdd ls rs)
2062 (naturalAdd ln rn)
2063 (naturalAdd lb rb)
2064 (naturalAdd lz rz)
2065 (naturalAdd lsb rsb)
2066 (naturalAdd lnb rnb))))))))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.