def Model.next

stelliferous@0.0.2.0 · tensor_model.bend:22

import Base

22def Model.next(-A: Type,-B: Type,pair: A & Store,next: A -> Model(B)) -> B & Store:
23  (value,store) = pair
24  next(value)(store)