<> <> DIRECTORY AlgebraClasses; VariableSequences: CEDAR DEFINITIONS = BEGIN OPEN AC: AlgebraClasses; <> VariableSequence: TYPE = AC.Object; VariableSequences: AC.Object; -- public structure <> VariableFirstChar: PROC [char: CHAR, V: VariableSequence] RETURNS [BOOL]; <> <> <> <<>> MergeVariableSequences: AC.BinaryOp; <> <> <<>> NewMainVariable: AC.BinaryOp; <> END.