123def aosU64Code =
124 (lambda unrestricted name : Bytes .
125 (lambda unrestricted value : (family JSON) .
126 (naturalSelect
127 (naturalIsZero (aosHas name value))
128 7
129 (naturalSelect
130 (naturalAnd (aosMemberIsString name value) (aosIsU64Text (aosMemberBytes name value)))
131 0
132 8))))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.