Name	_:_=_
Definition	none
Example	sqr(a:val(int) : expr(int) = a*a
Implementation	core
Infix	_:_=_ : infix(20,both).
Description	P : C = D declares P (the prototype) to have class C with definition D.
See Also	_:_