Source/Packages

Observe.Interchange

packages/observability/src/Observe/Interchange.alpha

684 lines44 declarations25.0 KiBSHA-256 3719d431a37a

def · lines 296–303

aosTimeCode

Full file
a present time: exactly clock_id, clock_epoch and ticks
296def aosTimeCode =
297  (lambda unrestricted value : (family JSON) .
298    (naturalSelect
299      (aosHasExactly3 b"clock_id" b"clock_epoch" b"ticks" value)
300      (aosThen
301        (aosIdentityCode b"clock_id" value)
302        (aosThen (aosIdentityCode b"clock_epoch" value) (aosU64Code b"ticks" value)))
303      11))

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.