def size

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

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

70def size(storage: Storage.Storage) -> Nat:
71  outcome(Nat, Storage.length(storage))