

[01;34mpackage[m Gmface[31m.[mGm_Application[31m.[mGm_interface [01;34mis[m   
   
   
   
   
   [01;34mtype[m Device_Info_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Id [31m:[m [32mInteger[m [31m:=[m [31m-[m[35m1[m[31m;[m
	 Name [31m:[m [01;34maccess[m [32mString[m[31m;[m
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m Device_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Input [31m:[m Device_Info_Record[31m;[m
	 Output [31m:[m Device_Info_Record[31m;[m
	 Device_Id [31m:[m Natural [31m:=[m [35m0[m[31m;[m	 
      [01;34mend[m [01;34mrecord[m[31m;[m      
   
   [01;34mtype[m Device_Access [01;34mis[m [01;34maccess[m [01;34mall[m Device_Record[31m;[m
   
   [01;34mtype[m Device_Array [01;34mis[m [01;34marray[m [31m([m[35m1[m[31m..[m[35m128[m[31m)[m [01;34mof[m Device_Access[31m;[m
   
   [01;34mtype[m Gm_Interface_Record [01;34mis[m [01;34mtagged[m
      [01;34mrecord[m
	 Devices_Info [31m:[m Device_Array[31m;[m	 
      [01;34mend[m [01;34mrecord[m[31m;[m
   
   [01;34mtype[m Gm_Interface [01;34mis[m [01;34maccess[m [01;34mall[m Gm_Interface_Record[31m;[m
   
[01;34mend[m Gmface[31m.[mGm_Application[31m.[mGm_Interface[31m;[m
