package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type location = {
  1. loc_filename : string;
  2. loc_line : int;
  3. loc_start : int;
  4. loc_end : int;
}
type frame = {
  1. frame_location : location option;
  2. frame_raised : bool;
}
type t
val empty : t
val push : t -> t
val repr : t -> frame list
val print_frame : frame -> string
val record_backtrace : bool -> unit
val get_backtrace : Exninfo.info -> t option
val add_backtrace : exn -> Exninfo.iexn
val app_backtrace : src:Exninfo.info -> dst:Exninfo.info -> Exninfo.info