GrafiteAstPp.pp_executable ~term_pp:(fun s -> s)
~lazy_term_pp:(fun _ -> assert false) ~obj_pp:(fun _ -> assert false)
(GrafiteAst.Tactical (loc,
GrafiteAst.Tactic (loc, GrafiteAst.Reduce (loc, kind, pat)),
Some (GrafiteAst.Semicolon loc))) in
GrafiteAstPp.pp_executable ~term_pp:(fun s -> s)
~lazy_term_pp:(fun _ -> assert false) ~obj_pp:(fun _ -> assert false)
(GrafiteAst.Tactical (loc,
GrafiteAst.Tactic (loc, GrafiteAst.Reduce (loc, kind, pat)),
Some (GrafiteAst.Semicolon loc))) in