enable_function_contracts()
Enable checks for function pre/post conditions. Return void.
void
Core Module Index | Contents