A sample Module description
Sample module description using a textual design notation: module X uses Y imports (B,C) selective import of B and C from module Y exports var A:integer; type B: array (1..10) of real; procedure C(.....);
optional natural language description of what A, B, and C actually are, possible constraints, etc. that clients need to know. implementation if needed, here are general comments about the rationale of the modularization, hints on the implementation, etc. end X