
(* MAS Integer Definition Module. *)

DEFINITION MODULE MASI;


FROM MASSTOR IMPORT LIST;


PROCEDURE IPROD(A,B: LIST): LIST; 
(*Integer product.  A and B are integers.  C=A*B. For long
integers Karatsubas method is used. *)


END MASI.


