Specification node-heap

[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
   ops-impl

with
   node
by morphism
   :obj → node; 
   ] → ]; 
   ] → ]; 
   => → =>; 
   _∃ → _∃; 
   read → read; 
   write → write; 
   o → nd; 
   o0 → nd0; 
   o1 → nd1; 
   oP → oP
end actualize