package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Serialization library and protocol for machine interaction with the Coq proof assistant

Install

sha256=4448c2b45a6975d7a90d3e07ce75386103d3e17c8ad96c566da854ac1e56802c

sha512=19027ca59703c8b74abd372e14403d22d07e9e8c248a50ae8f880647c10ee1f22cee93587583374c96971a667e10546b4997ff7b6a91aea51b51bbacb3052ee4

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 = {

}

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_protocol.feedback