def is_some

cswap-bend-cli@0.1.0.0 · policy/exhaust.bend:33

import Base

33def is_some(+m: Maybe<&2, Nat>) -> Bool:
34  match m:
35    case None{}:
36      False{}
37    case Some{x}:
38      True{}