package bap-std
Module Bil.Storage
Predefined storage classes
linear storage literally implements operational semantics, but has O(N) lookup and uses space very ineffectively, as it is implemented as a list of assignments.
Bil.StoragePredefined storage classes
linear storage literally implements operational semantics, but has O(N) lookup and uses space very ineffectively, as it is implemented as a list of assignments.