~/jendhub

def eight_leaves_certified

bendtorch-core@0.1.0.0 · src/tensor/matmul.bend:642

import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matmul
import Base
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallel

642def eight_leaves_certified(pair: Eight & (Array<F32> & Array<F32>)) ->
643  Parallel.Certified<(Array<F32> & Array<F32>), 3n, eight_leaves(pair)>:
644  match pair:
645    case Tuple{+cells, state}:
646      eight_leaves_of_certified(cells, state)

Uses (8)

Used by (1)