Source/Packages

Observe.Interchange

packages/observability/src/Observe/Interchange.alpha

684 lines44 declarations25.0 KiBSHA-256 3719d431a37a

def · lines 97–103

aosTextCode

Full file
--------------------------------------------------------------------------- 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.