Specification ablock-store

[Imprint][Data Privacy Statement][E-Mail]

Back to main index. View the specification. View theorem base summary, View theorem base listing, the used properties by spec, the dependency list, the symbol table,

actualize
   nat-store+set

with
   ablock

   
by morphism
   :data → ablock; 
   [ ] → [ ]; 
   .map → .map; 
   .map → .map; 
   ∈ → ∈; 
   d → ablock; 
   d0 → ablock0; 
   d1 → ablock1; 
   d2 → ablock2; 
   dataf → dataf; 
   elemdataf → elemdataf; 
   [ ] → [ ]
end actualize