---------------------------------------------------------------------------
Field rules (each 0 when it holds, else its code)
97def aosTextCode =
98 (lambda unrestricted name : Bytes .
99 (lambda unrestricted value : (family JSON) .
100 (naturalSelect
101 (naturalIsZero (aosHas name value))
102 7
103 (naturalSelect (naturalIsZero (aosMemberIsString name value)) 13 0))))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.