The standard sort set_. More...
Go to the source code of this file.
The standard sort set_.
This file was generated from the data sort specification mcrl2/data/build/set.spec.
Definition in file set.h.