vcsn::misc::contract Namespace Reference

Functions
void	trap (const char *file, int line, const char *location, const std::string &message)
	Internal function to report errors in failed contract macros.

---