def then
import stelliferous@0.0.2.0/tensor_f32.bend as TensorF32import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors
144def then(pair: Tensor() & Tensor(),body: Tensor() -> Tensor() -> Tensor()) -> Tensor():
145 Tensors.then(~Tensor(),~Tensor(),~Tensor(),pair,body)