411 REFERENCE · Wikibooks
Ada Programming/Attributes/'Model
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
Description
Model number of floating point type.
If the Numerics Annex is not supported, the meaning of this attribute is implementation defined.
Example
S’Model (X:T) return T