ruler-0.4.0.0: src/Ty/SelfAG.cag
------------------------------------------------------------------------- -- Self ------------------------------------------------------------------------- %%[1 ag ATTR AllTy [ | | self: SELF ] ATTR AGTyItf [ | | self: Ty ] %%]