def SingleOk

bendtorch-core@0.1.0.0 · src/autograd/reduce_parallel_proof.bend:530

import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce

530# What a fast fiber's flag promises: True only where the rows below the
531# first take one digit each.
532def SingleOk(single: Bool, +rows: List<&2, Shape.Row>, +extents: List<&2, Nat>) -> Data:
533  match single:
534    case True{}:
535      {Reduce.single_below(rows, extents) == True{} : Bool}
536    case False{}:
537      Unit