a string's bytes (empty for anything else: test `aosIsString` first)
215def aosStringBytes =
216 (lambda unrestricted value : (family JSON) .
217 (eliminate JSON (lambda unrestricted current : (family JSON) . Bytes) value
218 (branch JSONObject members membersInduction . b"")
219 (branch JSONObjectEnd . b"")
220 (branch JSONObjectMember key member tail memberInduction tailInduction . b"")
221 (branch JSONArray values valuesInduction . b"")
222 (branch JSONArrayEnd . b"")
223 (branch JSONArrayNext head tail headInduction tailInduction . b"")
224 (branch JSONString text . text)
225 (branch JSONNumber digits . b"")
226 (branch JSONBoolean flag . b"")
227 (branch JSONNull . b"")))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.