~/jendhub

def family

stelliferous@0.0.2.0 · proofs/kernel_packing_read_witness.bend:9

import stelliferous@0.0.2.0/proofs/kernel_packing_read_witness.bend as KernelPackingReadWitness
import Base
import stelliferous@0.0.2.0/proofs/storage_witness.bend as Witness

9def family(-input: Array<F32>) -> Data:
10  Witness.ArrayWitness<F32,input>

Uses (3)

Used by (22)