package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val push : exn -> Exninfo.iexn
  • deprecated please use [Exninfo.capture]
val anomaly : ?loc:Loc.t -> ?info:Exninfo.info -> ?label:string -> Pp.t -> 'a
val is_anomaly : exn -> bool
exception UserError of string option * Pp.t
val user_err : ?loc:Loc.t -> ?info:Exninfo.info -> ?hdr:string -> Pp.t -> 'a
exception Timeout
val register_handler : (exn -> Pp.t option) -> unit
val print : exn -> Pp.t
val iprint : Exninfo.iexn -> Pp.t
val print_no_report : exn -> Pp.t
val iprint_no_report : Exninfo.iexn -> Pp.t
val noncritical : exn -> bool
val register_additional_error_info : (Exninfo.info -> Pp.t Loc.located option) -> unit