def read

bendtorch-core@0.1.0.0 · src/storage/LAWS.bend:77

import Base
import bendtorch-core@0.1.0.0/src/storage/main.bend as Storage

77def read(storage: Storage.Storage, +i: U32) -> Result<&2, &2, Storage.Error, F32>:
78  outcome(Result<&2, &2, Storage.Error, F32>, Storage.get(storage, i))