<> <> <> <<>> <> <<>> <> <<>> <> <<>> <> <<>> DIRECTORY Rope, IO, AlgebraClasses; QEDataManager: CEDAR DEFINITIONS ~ BEGIN <> ROPE: TYPE ~ Rope.ROPE; <> LBAttributeType: TYPE = ATOM; LBAttributeValue: TYPE = ROPE; LBAttribute: TYPE = RECORD[ type: LBAttributeType, value: LBAttributeValue ]; LBEntry: TYPE = LIST OF LBAttribute; LBLog: TYPE = LIST OF LBEntry; <>
BinaryOp: AlgebraClasses.BinaryOp;
UnaryOp: AlgebraClasses.UnaryOp; END.