~/jendhub

def unindexed

stelliferous@0.0.2.0 · proofs/traversal_array_refinement.bend:140

import stelliferous@0.0.2.0/proofs/traversal_array_refinement.bend as TraversalArrayRefinement
import Base

140def unindexed(~Element: Data,~Context: Data,~map: Context -> Element -> Element,context: Context,position: U32,value: Element) -> Element:
141  map(context,value)

Uses (1)

Used by (10)