package coq-core

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val search_query : (bool * Vernacexpr.search_request) Pcoq.Entry.t
val quoted_attributes : Attributes.vernac_flags Pcoq.Entry.t
val scope_delimiter : Vernacexpr.scope_name Pcoq.Entry.t
val syntax_modifiers : Vernacexpr.syntax_modifier CAst.t list Pcoq.Entry.t
val make_bullet : string -> Proof_bullet.t
val test_hash_ident : unit Pcoq.Entry.t
val test_id_colon : unit Pcoq.Entry.t
val warn_plural_command : ?loc:Loc.t -> string -> unit
val test_variance_ident : unit Pcoq.Entry.t
val test_only_starredidentrefs : unit Pcoq.Entry.t
OCaml

Innovation. Community. Security.