INTERFACE M3CheckTool;

IMPORT M3Args;


CONST
  Version = "Dec-17-91";
  Name = "m3check";
  InitialCommands_Arg = "InitialCommands";

PROCEDURE Handle(): M3Args.T RAISES {};
(* return tool handle *)

END M3CheckTool.