package coq-serapi
Serialization library and protocol for machine interaction with the Coq proof assistant
Install
Dune Dependency
Authors
Maintainers
Sources
coq-serapi-8.19.0.0.19.3.tbz
sha256=f09de562d1f8cef423444d09212863fd54d02a907f15c0e409825a1126051939
sha512=5ba51cdbb9a75aaf42085677b8fd4eb68efe89d32d9e216d82f79a5fd742556968cf3fcb1a6316f01058d169f0fcc0cbf8fb03d007b9ab79e06ff8f5a7d17de0
doc/coq-serapi.sertop_v8_12/Sertop/Comp_common/index.html
Module Sertop.Comp_common
Source
Source
val create_document :
debug:bool ->
set_impredicative_set:bool ->
disallow_sprop:bool ->
ml_path:string list ->
load_path:Loadpath.vo_path list ->
rload_path:Loadpath.vo_path list ->
quick:bool ->
in_file:string ->
indices_matter:bool ->
omit_loc:bool ->
omit_att:bool ->
exn_on_opaque:bool ->
omit_env:bool ->
coq_path:string ->
async:string option ->
async_workers:int ->
error_recovery:bool ->
Stm.doc * Stateid.t
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>