def Model

stelliferous@0.0.2.0 · tensor_model.bend:15

import Base

15# A step: given the store, a value and the store that remains.
16def Model(A: Type) -> Type:
17  Store -> A & Store