def is_true

minebender-game@1.0.0.0 · solver.bend:127

import Base

127def is_true(m: Maybe<&2, Bool>) -> Bool:
128  match m:
129    case Some{b}:
130      b
131    case None{}:
132      False{}