type CheckedCoordinate

bendtorch-core@0.1.0.0 · src/shape/core.bend:664

import bendtorch-core@0.1.0.0/src/shape/core.bend as Core

import Base

664type CheckedCoordinate<-shape: Shape> is Data:
665  CValues{values: List<&2, Nat>, valid: {True{} == fit(extents(shape), values) : Bool}}

Uses (6)

Used by (24)