package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
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