def inside

bendtorch-core@0.1.0.0 · src/tensor/contracts/pointwise.bend:81

import Base

81def inside(~P: Data, ~map: P -> Nat -> Nat, +plan: P, +count: Nat, +bound: Nat) -> Bool:
82  match count:
83    case 0n:
84      True{}
85    case 1n+previous:
86      Bool.and(inside(~P, ~map, plan, previous, bound), Nat.is_lt(map(plan, previous), bound))