~/jendhub

def all_inside

bendtorch-core@0.1.0.0 · src/tensor/signed.bend:70

import bendtorch-core@0.1.0.0/src/tensor/signed.bend as Signed
import Base

70def all_inside(+limit: U32, positions: List<&2, Position>) -> Bool:
71  match positions:
72    case Nil{}:
73      True{}
74    case head <> tail:
75      Bool.and(inside(limit, head), all_inside(limit, tail))

Uses (6)

Used by (1)