Ada Operation and Operationfor Kinds

Kind Name
Entity Performing Reference
Entity Being Referenced
Ada Operation
some_type
some_proc
Ada Operationfor
some_proc
some_type

Operation and Operationfor references indicate that a subprogram is a primitive operation for the indicated type.

package some_pack is 
   type some_type is tagged null record; 
   procedure some_proc(x : some_type); 
end; 

Scientific Toolworks, Inc.
http://www.scitools.com