def projection_checked
import bendtorch-core@0.1.0.0/src/shape/core.bend as Coreimport Base
904def projection_checked(+input: Shape, +output: Shape, values: List<&2, U32>) -> Result<&2, &2, Error, CheckedCoordinate<input>>:
905 +copy = values
906 projection_checked.ranked(input, output, copy, bool_case(Nat.is_eq(rank_dimensions(dimensions(output)), rank_dimensions(copy))))