[01;34mpackage[m Libsens[31m.[mApplications [01;34mis[m
   
   [01;34mpragma[m [01;30mPure[m [31m([mLibsens[31m.[mApplications[31m);[m
   
   [01;34mtype[m Abstract_Application_Class [01;34mis[m [01;34mabstract[m [01;34mtagged[m [01;34mnull[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m Application_Class [01;34mis[m [01;34mnew[m Abstract_Application_Class [01;34mwith[m [01;34mnull[m [01;34mrecord[m[31m;[m
   
[01;34mend[m Libsens[31m.[mApplications[31m;[m
