AbsSynAG.cag

%%[1 ag

-------------------------------------------------------------------------
-- Ty AST
-------------------------------------------------------------------------

-------------------------------------------------------------------------
-- Interfacing
-------------------------------------------------------------------------

DATA AGTyItf
  | AGItf               ty          : Ty

-------------------------------------------------------------------------
-- Ty
-------------------------------------------------------------------------

DATA Ty
  | Con                 nm          : {Nm}
  | App                 lTy         : Ty
                        rTy         : Ty

-------------------------------------------------------------------------
-- Sets
-------------------------------------------------------------------------

SET AllTy = Ty

%%]