def node_certified
bendtorch-core@0.1.0.0 · src/tensor/parallel.bend:116
import bendtorch-core@0.1.0.0/src/tensor/parallel.bend as Parallel
import Base
116def node_certified(~A: Type, ~B: Type, +inner: Nat, -rec: A -> B -> Array<F32> & (A & B), -low: Array<F32> & (A & B),
117 certified: Certified<(A & B), inner, low>, next: @l: A -> @r: B -> Certified<(A & B), inner, rec(l, r)>) ->
118 Certified<(A & B), 1n+inner, node(~A, ~B, rec, low)>:
119 Certified{result, same, balanced} = certified
120 node_split(~A, ~B, inner, rec, low, result, same, balanced, next)