def adj_on
import minebender-game@1.0.0.0/proof_cells.bend as ProofCellsimport Base
import minebender-game@1.0.0.0/types.bend as T
482def adj_on(e: WHS, q: T.Pos) -> Bool:
483 adj_on.go(e, q)
import minebender-game@1.0.0.0/proof_cells.bend as ProofCellsimport Base
import minebender-game@1.0.0.0/types.bend as T
482def adj_on(e: WHS, q: T.Pos) -> Bool:
483 adj_on.go(e, q)