int.h File Reference

The standard sort int_. More...

Go to the source code of this file.

Detailed Description

The standard sort int_.

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

Definition in file int.h.