fset.h File Reference

The standard sort fset. More...

Go to the source code of this file.

Detailed Description

The standard sort fset.

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

Definition in file fset.h.