mCRL2
Loading...
Searching...
No Matches
mcrl2::data::no_substitution Struct Reference

An empty struct that is used to denote the absence of a substitution. Used for rewriters. More...

#include <no_substitution.h>

Detailed Description

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.


The documentation for this struct was generated from the following file: