def first

stelliferous@0.0.2.0 · tensor_model.bend:135

import stelliferous@0.0.2.0/tensor_model.bend as TensorModel
import Base

135def first(written: File & Result<&1,&1,U32 & String,Unit>) -> File:
136  (file,result) = written
137  file

Uses (7)

Used by (1)