package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
type deprecation = {
  1. since : string option;
  2. note : string option;
}
val mk_deprecation : ?since:string option -> ?note:string option -> unit -> deprecation
type atts = {
  1. loc : Loc.t option;
  2. locality : bool option;
  3. polymorphic : bool;
  4. program : bool;
  5. deprecated : deprecation option;
}
val mk_atts : ?loc:Loc.t option -> ?locality:bool option -> ?polymorphic:bool -> ?program:bool -> ?deprecated:deprecation option -> unit -> atts
type !'a vernac_command = 'a -> atts:atts -> st:Vernacstate.t -> Vernacstate.t
type plugin_args = Genarg.raw_generic_argument list
val vinterp_init : unit -> unit
val vinterp_add : bool -> Vernacexpr.extend_name -> plugin_args vernac_command -> unit
val overwriting_vinterp_add : Vernacexpr.extend_name -> plugin_args vernac_command -> unit