package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
val fatal_exn : exn -> Exninfo.info -> 'a
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