def BranchSome

minebender-game@1.0.0.0 · proof_solver.bend:1086

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

1086def BranchSome(+d0: Maybe<&2, T.Grid(Bool)>, +d1: Maybe<&2, T.Grid(Bool)>, +l: T.Grid(Bool)) -> Type:
1087  Or({d0 == Some{l} : Maybe<&2, T.Grid(Bool)>}, {d1 == Some{l} : Maybe<&2, T.Grid(Bool)>})