
[01;34mwith[m Libsens[31m.[mVirtual[31m;[m                   [01;34muse[m Libsens[31m.[mVirtual[31m;[m
[01;34mwith[m Libsens[31m.[mVirtual[31m.[mWork_Class[31m;[m        [01;34muse[m Libsens[31m.[mVirtual[31m.[mWork_Class[31m;[m
[01;34mwith[m Libsens[31m.[mVirtual[31m.[mNo_Plugin[31m;[m        [01;34muse[m Libsens[31m.[mVirtual[31m.[mNo_Plugin[31m;[m
  
[01;34mwith[m Libsens[31m.[mGtk_Plugins_Specifications[31m;[m[01;34muse[m Libsens[31m.[mGtk_Plugins_Specifications[31m;[m

[01;34mpackage[m Libsens[31m.[mGtk_No_Plugin [01;34mis[m
   
   [01;34mtype[m No_Plugin_Specifications [01;34mis[m
     [01;34mnew[m [01;30mAbstract_Plugin_Specifi[m[31m([mNull_Plugin[31m)[m [01;34mwith[m
      [01;34mrecord[m	 
	 
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   
   [01;34mprocedure[m [01;30mInitialize[m [31m([mSpec [31m:[m [01;34min[m [01;34mout[m No_Plugin_Specifications[31m;[m
     			 Plugin [31m:[m [01;34min[m Abstract_Plugin_Access[31m);[m
   
         
   
[01;34mend[m Libsens[31m.[mGtk_No_Plugin[31m;[m
