let abc = "abc.l"
in let uminus = {  Exp7.uminus  :  "-" Exp7  ; }
in
   idx(abc) + 
   (|
      uminus -> abc
      [Exp7 -> Exp7]
      Exp7.uminus  :  '(0-$1)'  ;
   })