package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type level =
  1. | Debug
  2. | Info
  3. | Notice
  4. | Warning
  5. | Error
type doc_id = int
type route_id = int
val default_route : route_id
type feedback_content =
  1. | Processed
  2. | Incomplete
  3. | Complete
  4. | ProcessingIn of string
  5. | InProgress of int
  6. | WorkerStatus of string * string
  7. | AddedAxiom
  8. | GlobRef of Loc.t * string * string * string * string
  9. | GlobDef of Loc.t * string * string * string
  10. | FileDependency of string option * string
  11. | FileLoaded of string * string
  12. | Custom of Loc.t option * string * Xml_datatype.xml
  13. | Message of level * Loc.t option * Pp.t
type feedback = {
  1. doc_id : doc_id;
  2. span_id : Stateid.t;
  3. route : route_id;
  4. contents : feedback_content;
}
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
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct