def then_shape

stelliferous@0.0.2.0 · tensor_f32.bend:147

import Base
import stelliferous@0.0.2.0/tensor.bend as Tensors

147def then_shape(pair: Tensor() & List<&2,U32>,body: Tensor() -> List<&2,U32> -> Tensor()) -> Tensor():
148  Tensors.then(~Tensor(),~List<&2,U32>,~Tensor(),pair,body)