~/jendhub

type Sample

stelliferous@0.0.2.0 · proofs/traversal_witness.bend:9

import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness
import Base

9type Sample<-Reader: Type,-Element: Data,-reader: Reader,-result: Reader & Element> is Data:
10  Sample{-value: Element,equation: {result == (reader,value) : Reader & Element}}

Uses (2)

Used by (60)