package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val vernac_kw : string list
val def_body : Vernacexpr.definition_expr Pcoq.Gram.entry
val decl_notation : Vernacexpr.decl_notation list Pcoq.Gram.entry
val of_type_with_opt_coercion : Vernacexpr.instance_flag Pcoq.Gram.entry
val make_bullet : string -> Vernacexpr.bullet
val extraction_err : loc:Loc.t -> 'a
val funind_err : loc:Loc.t -> 'a
val warn_plural_command : ?loc:Loc.t -> string -> unit
val test_plural_form : Ploc.t -> string -> ('a * ('b list * 'c)) list -> unit
val test_plural_form_types : Ploc.t -> string -> ('a list * 'b) list -> unit
val only_starredidentrefs : unit Pcoq.Gram.Entry.e
val starredidentreflist_to_expr : Vernacexpr.section_subset_expr list -> Vernacexpr.section_subset_expr
val warn_deprecated_include_type : ?loc:Loc.t -> unit -> unit
val warn_deprecated_arguments_scope : ?loc:Loc.t -> unit -> unit
val warn_deprecated_implicit_arguments : ?loc:Loc.t -> unit -> unit
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