* http://helm.cs.unibo.it/
*)
+(* $Id$ *)
+
open Printf
open GrafiteAst
let pp_idents idents = "[" ^ String.concat "; " idents ^ "]"
let pp_reduction_kind ~term_pp = function
+ | `Demodulate -> "demodulate"
| `Normalize -> "normalize"
| `Reduce -> "reduce"
| `Simpl -> "simplify"