ASExpr: TYPE = AlgebraClasses.Object;

ASExprData: TYPE ~ REF ASExprDataRep; -- external abstract type

ASExprDataRep: TYPE; -- internal concrete rep

ASExprClass: AlgebraClasses.Object; -- public Object so that additional methods can be added later

ASExprs: AlgebraClasses.Object; -- public structure

PrintName: AlgebraClasses.PrintNameProc;

ShortPrintName: AlgebraClasses.PrintNameProc;

IsExprs: AlgebraClasses.UnaryPredicate;

Recast: AlgebraClasses.BinaryOp;

CanRecast: AlgebraClasses.BinaryPredicate;

ToEXPR: AlgebraClasses.ToEXPROp;

FromEXPR: AlgebraClasses.FromEXPROp;

LegalFirstChar: AlgebraClasses.LegalFirstCharOp;

Read: AlgebraClasses.ReadOp;

FromRope: AlgebraClasses.FromRopeOp;

ToRope: AlgebraClasses.ToRopeOp;

Write: AlgebraClasses.WriteOp;

Zero: AlgebraClasses.NullaryOp;

One: AlgebraClasses.NullaryOp;

Add: AlgebraClasses.BinaryOp;

Negate: AlgebraClasses.UnaryOp;

Subtract: AlgebraClasses.BinaryOp;

Multiply: AlgebraClasses.BinaryOp;

Power: AlgebraClasses.BinaryOp;

Invert: AlgebraClasses.UnaryOp;

Equal: AlgebraClasses.BinaryPredicate;