Static.mesa
Copyright © 1986 by Xerox Corporation. All rights reserved.
Barth, January 8, 1986 11:53:00 am PST
DIRECTORY Core, CStitching;
Static: CEDAR DEFINITIONS = BEGIN
Theory
This interface does interesting static checks
Common Types
ROPE: TYPE = Core.ROPE;
Operations
Mumble, mumble.
CornerStitchWire:
PROC [root: Core.CellType, wire: Core.Wire]
RETURNS [tesselation: CStitching.Tesselation];
END.