prefixednotation.adb

Ada 2005 Training Notes.

package body PrefixedNotation is

   procedure P(X: in out T) is
   begin
      X.I := X.I + 1;
   end;

end PrefixedNotation;