Module Sertop.Comp_commonSource
Sourceval fatal_exn : exn -> Exninfo.info -> 'a Sourceval 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