def some

bend-kit-hairpin@0.13.0.1 · hairpin.bend:232

import Base

232def some(m: Maybe<&2, Nat>) -> Bool:
233  match m:
234    case None{}:
235      False{}
236    case Some{t}:
237      True{}