* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
type direction = [ `LeftToRight | `RightToLeft ]
type loc = Token.flocation
| Type of UriManager.uri * int
type 'lazy_term reduction =
- [ `Normalize
+ [ `Demodulate
+ | `Normalize
| `Reduce
| `Simpl
| `Unfold of 'lazy_term option