def is_lost

minebender-game@1.0.0.0 · LAWS.bend:227

import Base
import minebender-game@1.0.0.0/types.bend as T

227def is_lost(s: T.Status) -> Bool:
228  match s:
229    case T.Lost{why}:
230      True{}
231    case o:
232      False{}