Name _:_
Definition none
Example fred : var(int)
Implementation core
Infix _:_ : infix(20,both).
Description P : C declares P (the prototype) to have class C.
See Also _:_=_