~/jendhub

law tok_order_f

minebender-game@1.0.0.0 · proof_solver.bend:1862

import minebender-game@1.0.0.0/proof_solver.bend as ProofSolver
import Base
import minebender-game@1.0.0.0/types.bend as T
import minebender-game@1.0.0.0/solver.bend as S

1862law tok_order_f:
1863  for +ts: List<&2, S.Todo>
1864  for +layout: T.Grid(Bool)
1865  for +h: {todos_ok(ts, layout) == True{} : Bool}
1866  {todos_ok(S.fars(ts), layout) == True{} : Bool}

Uses (11)

Used by (1)