def read_second

stelliferous@0.0.2.0 · kernel_block.bend:20

import stelliferous@0.0.2.0/kernel_block.bend as KernelBlock

import Base

20def read_second(
21  ~State: Type,~Context: Data,~Element: Data,~Index: Data,
22  ~read: State -> Context -> Index -> State & Element,
23  result: State & Element,context: Context,index: Index
24) -> State & Twin<Element>:
25  (state,first) = result
26  finish_pair(~State,~Element,first,read(state,context,index))

Uses (4)

Used by (2)