ellipsis-implementation.h File Reference

Wrap function definitions such that they provide pre- and post-conditions as specified via ellipsis-interface.h. More...

Go to the source code of this file.

Detailed Description

Wrap function definitions such that they provide pre- and post-conditions as specified via ellipsis-interface.h.