def flags_of

minebender-game@1.0.0.0 · proof_laws.bend:23

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

23def flags_of(g: G.Game) -> List<&2, T.Pos>:
24  match g:
25    case G.Game{w, h, layout, shown, flags, status}:
26      flags