mCRL2
Loading...
Searching...
No Matches
set.h File Reference

The standard sort set_. More...

Go to the source code of this file.

Detailed Description

The standard sort set_.

This file was generated from the data sort specification mcrl2/data/build/set.spec.

Definition in file set.h.