Module Sertop.Sertop_util

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