1
package X_No_Operator_Usage is
2
type X1 is new Integer; -- no operators
5
type X2 is new X1 range 1 .. 10;
6
function "+" (L, R : X2) return X2;
11
function "abs" (L : X4) return X4;
13
type Intermediate1 is range 1 .. 10; -- no operators
14
subtype Intermediate2 is Intermediate1 range 3..5;
15
type X3 is new intermediate2; -- no operators
16
type X4 is range 1 .. 10;
17
end X_No_Operator_Usage;