-------------------------------------------------------------------------
-- Aspect expr AST
-------------------------------------------------------------------------

-- Outside itf
DATA AGAspectExprItf
  | AGItf               aexp            : AspectExpr

DATA AspectExpr
  | True
  | Requires            asp             : {String}
  | Or                  asp1            : AspectExpr
                        asp2            : AspectExpr
  | And                 asp1            : AspectExpr
                        asp2            : AspectExpr
  | Not                 asp             : AspectExpr

DERIVING * : Show, Eq, Ord