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