Copyright (C) 1994, Digital Equipment Corp.
The above lines, and this line, and all lines up to the first blank line, will be skipped by M3ToTex
The Example
interface shows how to use m3totex
.
INTERFACEAnExample ; TYPE T <: ROOT;
Example.T
is an opaque object type.
PROCEDURE P(t: T; VAR (*OUT*) n: INTEGER);
Replacet
by its hyperbolic completion and store its specular index inn
.
Comments that do not start in the first column are typeset like program text (for example, the comment
OUT
in the signature of P
).
Comments that start in the first column and are not
preceded by a blank line are indented and slanted.
They are intended to be used for short summary procedure
specifications, like the one following the declaration
of P
.
Comments that start in the first column and are
preceded by a blank line are typeset in ordinary
roman text, except that quoted words are typeset
like program text (for example, Example.T
).
If you want to include some verbatim material in a comment, precede each verbatim line by a vertical-bar and a space. For example,
VAR t := NEW(t); n: INTEGER; BEGIN WHILE n # 0 DO P(t, n); reduce the specular index of t. END ENDNotice that you can escape into roman type by using back-quotes.
END Example.