def is_none

cswap-bend-cli@0.1.0.0 · policy/bar.bend:11

import Base

11def is_none(+m: Maybe<&2, Nat>) -> Bool:
12  match m:
13    case None{}:
14      True{}
15    case Some{x}:
16      False{}