Module Sertop.Sertop_utilSource

Sourceval pp_sertop : Format.formatter -> Sexplib.Sexp.t -> unit
Sourceval coq_pp_opt : Pp.t -> Pp.t
Sourceval feedback_pos_filter : string -> Feedback.feedback -> Feedback.feedback
Sourcetype fb_filter_opts = {
  1. pp_opt : bool;
}
Sourceval default_fb_filter_opts : fb_filter_opts
Sourceval feedback_opt_filter : ?opts:fb_filter_opts -> Feedback.feedback -> Feedback.feedback option
Sourceval feedback_tr : Feedback.feedback -> Serapi.Serapi_protocol.feedback