Note:

You are viewing a development version of the library. Goto the latest version.

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 ()