~/jendhub

def read_at

stelliferous@0.0.2.0 · kernel_block.bend:28

import stelliferous@0.0.2.0/kernel_block.bend as KernelBlock
import Base

28def read_at(
29  ~State: Type,~Context: Data,~Element: Data,~Index: Data,
30  ~read: State -> Context -> Index -> State & Element,
31  state: State,+context: Context,first: Index,second: Index
32) -> State & Twin<Element>:
33  read_second(~State,~Context,~Element,~Index,~read,read(state,context,first),context,second)

Uses (3)

Used by (1)