def is_none

minebender-game@1.0.0.0 · solver.bend:134

import Base

134def is_none(m: Maybe<&2, Bool>) -> Bool:
135  match m:
136    case Some{b}:
137      False{}
138    case None{}:
139      True{}