1 12 anchor link operator 0 ( ) ( ) ; 0 ( ) ; = = // // // construct-copy-destruct construct-copy-destruct construct/copy/destruct list-presentation="table" Parameters: list-presentation="table" : Warning: Use of 'para' elements in a function is deprecated. Wrap them in a 'description' element. Requires Effects Postconditions Returns Throws Complexity Notes Rationale Error: unhandled node type ` ' in template function.requirement.name. Function template Function template // //