def bounded

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward_LAWS.bend:75

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_LAWS.bend as TensorBackwardLAWS

import Base

75def bounded(ids: List<&2, Nat>, +bound: Nat) -> Bool:
76  match ids:
77    case Nil{}:
78      True{}
79    case Con{+id, rest}:
80      Bool.and(Nat.is_lt(id, bound), bounded(rest, bound))

Uses (5)

Used by (4)