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