4 with Discr16_Cont; use Discr16_Cont;
10 function MAX_ADD_G(X : T; I : INTEGER) return T;
12 function MAX_ADD_G(X : T; I : INTEGER) return T is
14 return T'val(T'pos(X) + LONG_INTEGER(I));
17 function MAX_ADD is new MAX_ADD_G(ES6A);
19 package P is new Discr16_G(ES6A, MAX_ADD);