112def aosIdentityCode =
113 (lambda unrestricted name : Bytes .
114 (lambda unrestricted value : (family JSON) .
115 (naturalSelect
116 (naturalIsZero (aosHas name value))
117 7
118 (naturalSelect
119 (naturalAnd (aosMemberIsString name value) (aosIsIdentity (aosMemberBytes name value)))
120 0
121 9))))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.