def Model.bind

stelliferous@0.0.2.0 · tensor_model.bend:26

import Base

26def Model.bind(-A: Type,-B: Type,step: Model(A),next: A -> Model(B)) -> Model(B):
27  store => Model.next(A,B,step(store),next)