def is_some

bend-toon-codec@0.1.0.0 · src/text.bend:104

import Base
import bend-toon-codec@0.1.0.0/src/num.bend as N

104def is_some(+m: Maybe<&2, N.Num>) -> Bool:
105  match m:
106    case Some{n}:
107      True{}
108    case None{}:
109      False{}