Name	::
Definition	none
Example	(coords:type=record(x::int,y::int)).
Implementation	core
Infix	_::_ : infix(20,none).
Description	:: is used to name a field within a record declaration.
See Also	record