~/jendhub

def prefetch

cswap-bend-cli@0.1.0.0 · swlive.bend:270

import cswap-bend-cli@0.1.0.0/swlive.bend as Swlive
import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/act.bend as Act
import cswap-bend-cli@0.1.0.0/store/base.bend as SBase
import cswap-bend-cli@0.1.0.0/store/io.bend as SIo

270def prefetch(+ctx: SBase.Ctx, +o: Oracle) -> Act.of(Pre):
271  do ActM<Pre>:
272    l : Live <- read_live(ctx)
273    m : Maybe<&2, Json.Json> <- SIo.read_seq(SBase.root_of(ctx))
274    prefetch3(ctx, o, l, m)

Uses (13)

Used by (1)