package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Sertop.Sertop_argSource

Sourceval prelude : string Cmdliner.Term.t
Sourceval require_lib : string option Cmdliner.Term.t
Sourceval str_pp : bool Cmdliner.Term.t
Sourceval de_bruijn : bool Cmdliner.Term.t
Sourceval body : bool Cmdliner.Term.t
Sourceval async : string option Cmdliner.Term.t
Sourceval quick : bool Cmdliner.Term.t
Sourceval async_full : bool Cmdliner.Term.t
Sourceval deep_edits : bool Cmdliner.Term.t
Sourceval async_workers : int Cmdliner.Term.t
Sourceval error_recovery : bool Cmdliner.Term.t
Sourceval implicit_stdlib : bool Cmdliner.Term.t
Sourceval debug : bool Cmdliner.Term.t
Sourceval print0 : bool Cmdliner.Term.t
Sourceval length : bool Cmdliner.Term.t
Sourceval rload_path : Loadpath.vo_path list Cmdliner.Term.t
Sourceval load_path : Loadpath.vo_path list Cmdliner.Term.t
Sourceval ml_include_path : string list Cmdliner.Term.t
Sourceval no_init : bool Cmdliner.Term.t
Sourceval topfile : string option Cmdliner.Term.t
Sourceval no_prelude : bool Cmdliner.Term.t
Sourceval set_impredicative_set : bool Cmdliner.Term.t
Sourceval disallow_sprop : bool Cmdliner.Term.t
Sourceval indices_matter : bool Cmdliner.Term.t
Sourcetype comp_mode =
  1. | C_parse
  2. | C_stats
  3. | C_print
  4. | C_sexp
  5. | C_check
  6. | C_vo
  7. | C_env
Sourcetype comp_input =
  1. | I_vernac
  2. | I_sexp
Sourceval omit_loc : bool Cmdliner.Term.t
Sourceval omit_att : bool Cmdliner.Term.t
Sourceval exn_on_opaque : bool Cmdliner.Term.t
Sourceval omit_env : bool Cmdliner.Term.t
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct