(******************************************************************************)
(* Copyright (c) 1988 by GMD Karlruhe, Germany				      *)
(* Gesellschaft fuer Mathematik und Datenverarbeitung			      *)
(* (German National Research Center for Computer Science)		      *)
(* Forschungsstelle fuer Programmstrukturen an Universitaet Karlsruhe	      *)
(* All rights reserved.							      *)
(******************************************************************************)

DEFINITION MODULE PaDecls;

   PROCEDURE CompilationUnit;
   (* Parse the current source file.
      Process declarations and translate module and procedure bodies
      into abstact syntax.  *)

   PROCEDURE InitDecls;
   (* Initialize.  *)

END PaDecls.
