<<>> <> <> <> <> <<>> DIRECTORY IntCodeDefs USING [Label, LambdaNode, Node, Var], IntCodeTwig USING [BaseModel, LambdaModel]; IntCodeOpt: CEDAR DEFINITIONS = BEGIN OPEN IntCodeDefs, IntCodeTwig; GenAnonLocal: PROC [base: BaseModel, parent: Label, bits: INT] RETURNS [Var]; <> CleanupLambda: PROC [base: BaseModel, model: LambdaModel, lambda: LambdaNode, rtnPtr: Var]; <> RectifyBlock: PROC [node: Node] RETURNS [Node]; <> SimplifyValueBlocks: PROC [base: BaseModel, model: LambdaModel, lambda: LambdaNode]; <> IsReallySimple: PROC [n: Node] RETURNS [BOOL]; <> END.