<> <> <> DIRECTORY Core, BE, CoreCreate, Rope; BELayout: CEDAR DEFINITIONS = BEGIN <> Expression: TYPE = BE.Expression; Variable: TYPE = BE.Variable; ROPE: TYPE = Rope.ROPE; CellType: TYPE = Core.CellType; Properties: TYPE = Core.Properties; Wire: TYPE = Core.Wire; Wires: TYPE = Core.Wires; WR: TYPE = CoreCreate.WR; PA: TYPE = CoreCreate.PA; <> EqualInt: PROC [wire: Wire, int: INT] RETURNS [expr: Expression]; <> <> StdOutputs: TYPE = LIST OF StdOutput; StdOutput: TYPE = REF StdOutputRec; StdOutputRec: TYPE = RECORD [ wire: Wire, expr: Expression]; StandardCellExpression: PROC [public: Wire, outputs: StdOutputs, name: ROPE _ NIL, props: Properties _ NIL] RETURNS [cellType: CellType]; END.