package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Dune Dependency
Authors
Maintainers
Sources
coq-serapi-8.18.0.0.18.2.tbz
sha256=0fcf20002a6856b6d2485dcb55d388558dd771a8dcb99f5c614b8f5519f90801
sha512=45fa6873a65160624952de89d51ab3c44522c3485e945974e5fe97bc3c5214fa7955cd993f69bc1b87b3cfce77fde81b39ec9a43263ab4a14513a13b7c6ded92
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;
}