(*pp camlp4of *)

open Camlp4.PreCast;;
open Syntax;;

EXTEND Gram
  GLOBAL: expr;

  expr: LEVEL "+"
    [
        [ evar = expr; "<@"; ef = expr  ->
            <:expr<
                $evar$ <- $ef$ $evar$
            >>
        ]
    ]
 ;

END