def kept

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

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

80def kept(storage: Storage.Storage, +i: U32) -> Storage.Storage:
81  owner(Result<&2, &2, Storage.Error, F32>, Storage.get(storage, i))