def some

bend-kit-hairpin@0.14.0.0 · hairpin.bend:222

import Base

222def some(m: Maybe<&2, Nat>) -> Bool:
223  match m:
224    case None{}:
225      False{}
226    case Some{t}:
227      True{}