

DEFINITION MODULE gmult;

FROM SUPINT IMPORT SuperInteger;

PROCEDURE Mult (U, V, C : SuperInteger);
   (* Multiplie U par V et place le resultat dans C.  *)

END gmult.

