%%[1 ag

-------------------------------------------------------------------------
-- PP for Ty
-------------------------------------------------------------------------

ATTR AllTy AGTyItf [ | | pp USE {>-<} {empty} : PP_Doc ]

SEM Ty
  | App             lhs     .   pp          =   @lTy.pp
                                                >#< @rTy.pp
  | Con             lhs     .   pp          =   pp @nm

%%]