def pair_joined

bendtorch-core@0.1.0.0 · src/tensor/parallel.bend:122

import Base

122def pair_joined(~S: Type, x: F32, high: F32 & S) -> Certified<S, 1n, pair_join(~S, x, high)>:
123  (y, rest) = high
124  Certified{pair_join(~S, x, (y, rest)), {==}, (Unit{}, Unit{})}