%%[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 %%]