Ada Programming/Attributes/'Mod

Description

Will correctly convert any integer type to a given modular type (S), using wraparound semantics.

This function returns Arg mod S'Modulus, as a value of the type of S.

Example

SMod (X:T) return S