CBMC
identity_functort Member List

This is the complete list of members for identity_functort, including all inherited members.

operator()(T &&t) constidentity_functortinline