mCRL2
|
An empty struct that is used to denote the absence of a substitution. Used for rewriters. More...
#include <no_substitution.h>
An empty struct that is used to denote the absence of a substitution. Used for rewriters.
Definition at line 23 of file no_substitution.h.