~/jendhub

def Model.pure

stelliferous@0.0.2.0 · tensor_f32.bend:70

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

70def Model.pure(-A: Type,value: A) -> Model(A):
71  Models.Model.pure(A,value)

Uses (2)

Used by (0)

No other definition uses this definition.