Operation
GM_Primitive
GM_Primitive (
GM_Envelope
e), in Class
TS_Root
Protocol
Qualification
Exceptions
Size
Time
Concurrency
Sequential
Export Control
PublicAccess
Preconditions
Postconditions
Semantics