package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Dune Dependency
Authors
Maintainers
Sources
coq-serapi-8.15.0.0.15.3.tbz
sha256=8eb6117bccd54843b5553562f8925f8dc24f502e323479b4eb6e7e28265c8fda
sha512=049e071e43eaa418b37cbc6222fb9244ce50f136084cbfd96ee0c545f1d031f57dc72a2de8a6da08225194bc851ec1c51eaf5d1f1299b5003d78f4a4ef5ea4d9
doc/coq-serapi.serapi_v8_14/Serapi/Serapi_protocol/ExnInfo/index.html
Module Serapi_protocol.ExnInfoSource
Source
type t = {loc : Loc.t option;stm_ids : (Stateid.t * Stateid.t) option;backtrace : Printexc.raw_backtrace;exn : exn;pp : Pp.t;str : string;
}