def then

stelliferous@0.0.2.0 · tensor_f32.bend:144

import stelliferous@0.0.2.0/tensor_f32.bend as TensorF32
import 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)

Uses (3)

Used by (1)