def is_won

minebender-game@1.0.0.0 · LAWS.bend:220

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

220def is_won(s: T.Status) -> Bool:
221  match s:
222    case T.Won{}:
223      True{}
224    case o:
225      False{}