package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type level =

type doc_id = int

type route_id = int

val default_route : route_id

type feedback_content =

type feedback = {

}

val add_feeder : (feedback -> unit) -> int

val del_feeder : int -> unit

val feedback : 
  ?did:doc_id ->
  ?id:Stateid.t ->
  ?route:route_id ->
  feedback_content ->
  unit

val set_id_for_feedback : ?route:route_id -> doc_id -> Stateid.t -> unit

val msg_info : ?loc:Loc.t -> Pp.t -> unit

val msg_notice : ?loc:Loc.t -> Pp.t -> unit

val msg_warning : ?loc:Loc.t -> Pp.t -> unit

val msg_error : ?loc:Loc.t -> Pp.t -> unit

deprecated msg_error is an internal function and should not be used unless you know what you are doing. Use [CErrors.user_err] instead.

val msg_debug : ?loc:Loc.t -> Pp.t -> unit

val console_feedback_listener : Format.formatter -> feedback -> unit

val warn_no_listeners : bool ref