sprintf "replace %s with %s" (pp_pattern pattern) (pp_term_ast t)
| Rewrite (_, pos, t, pattern) ->
sprintf "rewrite %s %s %s"
- (if pos = `Left then "left" else "right") (pp_term_ast t)
+ (if pos = `LeftToRight then ">" else "<")
+ (pp_term_ast t)
(pp_pattern pattern)
| Right _ -> "right"
| Ring _ -> "ring"