let pp_print_def fmt term defs =
pp_print_string fmt term;
pp_print_newline fmt ();
List.iter
(fun (pp_print_e, e) ->
pp_print_string fmt ": ";
pp_open_box fmt 0;
pp_print_e fmt e;
pp_close_box fmt ();
pp_print_newline fmt ())
defs;
pp_print_newline fmt ()