def lands
import bendtorch-core@0.1.0.0/src/autograd/reduce_fold.bend as ReduceFoldimport Base
25def lands(cell: Cell, position: Nat) -> Bool:
26 Cell{+plan, +index} = cell
27 Nat.is_eq(target_offset(plan, position), U32.to_nat(index))
import bendtorch-core@0.1.0.0/src/autograd/reduce_fold.bend as ReduceFoldimport Base
25def lands(cell: Cell, position: Nat) -> Bool:
26 Cell{+plan, +index} = cell
27 Nat.is_eq(target_offset(plan, position), U32.to_nat(index))