def Model.bind

stelliferous@0.0.2.0 · tensor_f32.bend:73

import Base
import stelliferous@0.0.2.0/tensor_model.bend as Models

73def Model.bind(-A: Type,-B: Type,step: Model(A),next: A -> Model(B)) -> Model(B):
74  Models.Model.bind(A,B,step,next)