mcrl2/utilities/unused.h

Include file:

#include "mcrl2/utilities/unused.h"

add your file description here.

Functions

void mcrl2::utilities::mcrl2_unused(T&&...)

Function that can be used to silence unused parameter warnings.