package coq-serapi

You can search for identifiers within the package.

in-package search v0.2.0

Module `Serapi_protocol.ExnInfo`Source

Sourcetype t = {

loc : Loc.t option;
stm_ids : (Stateid.t * Stateid.t) option;
backtrace : Printexc.raw_backtrace;
exn : exn;
pp : Pp.t;
str : string;

}