Specification int-tree

[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,

instantiate elem
< linked-tree

with int-min

by mapping : elem → int; a → i; b → i0; c → j;
   rename mknode → mknode; .val → .val; .val:= → .val:=; branch → branch; .val → .val; .val:= → .val:=; a0 → (i1);
end instantiate