This is a convenience mechanism for specifying a chunk of text. Expressions can be enclosed in (* and *) . Any characters can be enclosed except for these rarely-appearing patterns: *]] , (* and *) , which are used by this here-doc itself.
See Mixture.