StdCorpse5OpaqueTest.mesa
Philip James, March 2, 1992 1:26 pm PST
Laurie Horton, March 4, 1992 8:53 pm PST
StdCorpse5OpaqueTest:
CEDAR DEFINITIONS ~ {
OpaqueRef:
TYPE ~
REF OpaqueType;
OpaqueType:
TYPE;
MakeNewOpaqueRef:
PROCEDURE []
RETURNS [OpaqueRef];
}.