Arithmetic.Mod

(* begin-module-use-description
Module Arithmetic handles:
* Nothing yet. Placeholder.

end-module-use-description *)
MODULE Arithmetic; 
  IMPORT SYSTEM;

  CONST 

  TYPE 

  VAR 


  (* begin-procedure-description
---
**Foo** is a placeholder
  end-procedure-description *)
  PROCEDURE Foo;
  BEGIN 
  END Foo;



END Arithmetic.