package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val push : exn -> Exninfo.iexn
val make_anomaly : ?label:string -> Pp.t -> exn
val anomaly : ?loc:Loc.t -> ?label:string -> Pp.t -> 'a
val is_anomaly : exn -> bool
exception UserError of string option * Pp.t
val user_err : ?loc:Loc.t -> ?hdr:string -> Pp.t -> 'a
exception AlreadyDeclared of Pp.t
val alreadydeclared : Pp.t -> 'a
val invalid_arg : ?loc:Loc.t -> string -> 'a
val todo : string -> unit
exception Timeout
exception Unhandled
val register_handler : (exn -> Pp.t) -> unit
val print : ?info:Exninfo.info -> 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 handled : exn -> bool