let unwind = R.unwind
let _ =
- NCicUtils.set_head_beta_reduce (fun ~upto t -> head_beta_reduce ~upto t)
+ NCicUtils.set_head_beta_reduce (fun ~upto t -> head_beta_reduce ~upto t);
+ NCicPp.set_head_beta_reduce (fun ~upto t -> head_beta_reduce ~upto t);
;;
+
+
(* vim:set foldmethod=marker: *)