CasabaFormat.form
Copyright Ó 1988 by Xerox Corporation. All rights reserved.
James Rauen, June 13, 1988 1:24:37 pm PDT
Last edited by: James Rauen June 16, 1988 11:51:04 am PDT
Module Name
: Module = Begin
Module Contents
End.
Base Type Name: BaseType;
Cedar Function Name: CedarFunction [Arguments] Returns [Returned Values] From Interface;
Base Function Name
:
BaseFunction [Argument Types]
Returns [Return Types]
DamagedReps [Damaged Reps];
Tree-Recursive Function Name
:
TreeRecursiveFunction [
Argument Types
]
Returns [Return Types];
for
Abstract Production
:
AbstractProduction [
Arguments
]
let
Function
[
Arguments
] ←
Returned Values
where Variables ← Expression
where
Variables ←
if Expression
then (
Values
where clauses )
else (
Values
where clauses )
;