real.h File Reference

The standard sort real_. More...

Go to the source code of this file.

Detailed Description

The standard sort real_.

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

Definition in file real.h.