Rule Expression_4

Expression '$Expression 


Description

The $ constructs strips the following expression's opaque type into its defining type. This operator associates to the right and may be repeated as long as the defining type is itself opaque.


Copyright © 2012 by Hassan Aït-Kaci; All Rights Reserved.