Skip to content

Define `Non_interable_idexed_data_storage` with aliases to `Indexed_data_storage`in Proof/Storage_sigs.v

Daniel Hilst requested to merge non-iterable-indexed-data-storage-alias into master

Non_indexed_data_storage is a subset of Indexed_data_storage

Edited by Daniel Hilst

Merge request reports