def written

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

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

83def written(storage: Storage.Storage, +i: U32, value: F32) -> Storage.Storage:
84  owner(Result<&2, &2, Storage.Error, Unit>, Storage.set(storage, i, value))