def Model.pure

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel

import Base

19def Model.pure(-A: Type,value: A) -> Model(A):
20  store => (value,store)

Uses (2)