def known

cswap-bend-cli@0.1.0.0 · policy/safe.bend:28

import Base

28# The reading is decision-grade and carries a headroom.
29def known(+m: Maybe<&2, Nat>) -> Bool:
30  match m:
31    case None{}:
32      False{}
33    case Some{x}:
34      True{}