[][src]Module proof::impls

Functions

replace_index

Returns a copy of node with all its index values changed to index.