def single_ok

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

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

539def single_ok(+rows: List<&2, Shape.Row>, +extents: List<&2, Nat>, single: Bool,
540  +exact: {single == Reduce.single_below(rows, extents) : Bool}) -> SingleOk(single, rows, extents):
541  match single:
542    case True{}:
543      Equal.sym(Bool, True{}, Reduce.single_below(rows, extents), exact)
544    case False{}:
545      Unit{}