AlphaGitHub
Source/Packages

Data.JSON

packages/foundation/standard/src/Data/JSON.alpha

2,617 lines251 declarations113.9 KiBSHA-256 bd63da5ed186
Download exact fileView at revision426597bda5753d86c4

def · lines 2078–2086

jsonTreeKindIsObjectMembers

Full file
2078def jsonTreeKindIsObjectMembers =
2079  (lambda unrestricted kind : (family JSONTreeKind) .
2080    (eliminate
2081      JSONTreeKind
2082      (lambda unrestricted current : (family JSONTreeKind) . Nat)
2083      kind
2084      (branch JSONTreeValueKind . zero)
2085      (branch JSONTreeObjectMembersKind . (succ zero))
2086      (branch JSONTreeArrayValuesKind . 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.