Source

newref / newref.ml

open Camlp4.PreCast
open Syntax

EXTEND Gram
	expr: BEFORE "~-"
	    [ [ "$" ; m = SELF ->
			  <:expr< $m$.contents >>
		] ]
	;
END