let pp_section fmt title = begin Format.fprintf fmt "----------------------------------------@\n" ; Format.fprintf fmt "--- %s@\n" title ; Format.fprintf fmt "----------------------------------------@\n@\n" ; end