def read_pair

stelliferous@0.0.2.0 · kernel_block.bend:35

import Base

35def read_pair(
36  ~State: Type,~Context: Data,~Element: Data,
37  ~read: State -> Context -> Nat -> State & Element,~stride: Nat,
38  state: State,context: Context,index: Nat
39) -> State & Twin<Element>:
40  +context = context
41  +index = index
42  read_at(~State,~Context,~Element,~Nat,~read,state,context,index,Nat.add(index,stride))