A.1 CASL Environments

Use in any mode:³

\begin{casl} ... \end{casl}

Use only in paragraph mode:⁴

\begin{BasicSpec} \item[...] ... \\ ... \item[...] ... \end{BasicSpec}

...

...
...

...

...

\begin{SpecDefn}{...} = ... \End \end{SpecDefn}

spec

... = ... end

\begin{SpecDefn}{...} [...] = ... \End \end{SpecDefn}

spec

... [...] = ... end

\begin{SpecDefn}{...} [...] \Given ... = ... \End \end{SpecDefn}

spec

... [...] given... = ... end

\begin{SpecDefn}[\View]{...} : ... \To ... = ... \End \end{SpecDefn}

view

... : ... to... = ... end

\begin{SpecDefn}[\Arch~\Spec]{...} ... = ... \End \end{SpecDefn}

arch spec

... ... = ... end

\begin{SpecDefn}[\Unit~\Spec]{...} ... = ... \End \end{SpecDefn}

unit spec

... ... = ... end

The remaining commands and environments are for use only within the above environments.