[01;34mpackage[m [01;34mbody[m Libsens[31m.[mVirtual [01;34mis[m      
   
   [01;34mfunction[m [01;30mIs_Formed[m[31m([mTrue_Table [31m:[m True_Table_Type[31m;[m
		      Category_Index [31m:[m Category_Index_Type[31m;[m
		      Prev       [31m:[m Break_Type [31m:=[m Null_Break[31m;[m
		      Next       [31m:[m Break_Type [31m:=[m Null_Break[31m)[m [01;34mreturn[m [32mBoolean[m [01;34mis[m
      

   [01;34mbegin[m
      [01;34mreturn[m [01;30mTrue_Table[m[31m([mCategory_Index[31m,[m Prev[31m,[m Next[31m);[m

   [01;34mend[m Is_Formed[31m;[m
         
[01;34mend[m Libsens[31m.[mVirtual[31m;[m
