package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val uvernac : Pcoq.gram_universe
module Vernac_ : sig ... end
val main_entry : (Loc.t * Vernacexpr.vernac_control) option Pcoq.Entry.t
val get_command_entry : unit -> Vernacexpr.vernac_expr Pcoq.Entry.t
val set_command_entry : Vernacexpr.vernac_expr Pcoq.Entry.t -> unit
OCaml

Innovation. Community. Security.