package coq

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
val __coq_plugin_name : string
val pr_number_after : Notation.numnot_option -> Pp.t
val pr_deprecated_number_modifier : Notation.numnot_option -> Pp.t
val warn_deprecated_numeral_notation : ?loc:Loc.t -> unit -> unit
val pr_number_string_mapping : (bool * Libnames.qualid * Libnames.qualid) -> Pp.t
val pr_number_string_via : (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list) -> Pp.t
val pr_number_modifier : Number.number_option -> Pp.t
val pr_number_options : Number.number_option list -> Pp.t
val pr_string_option : (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list) -> Pp.t
val wit_deprecated_number_modifier : (Notation.numnot_option, unit, unit) Genarg.genarg_type
val deprecated_number_modifier : Notation.numnot_option Pcoq.Entry.t
val wit_number_string_mapping : (bool * Libnames.qualid * Libnames.qualid, unit, unit) Genarg.genarg_type
val number_string_mapping : (bool * Libnames.qualid * Libnames.qualid) Pcoq.Entry.t
val wit_number_string_via : (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list, unit, unit) Genarg.genarg_type
val number_string_via : (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list) Pcoq.Entry.t
val wit_number_modifier : (Number.number_option, unit, unit) Genarg.genarg_type
val number_modifier : Number.number_option Pcoq.Entry.t
val wit_number_options : (Number.number_option list, unit, unit) Genarg.genarg_type
val number_options : Number.number_option list Pcoq.Entry.t
val wit_string_option : (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list, unit, unit) Genarg.genarg_type
val string_option : (Libnames.qualid * (bool * Libnames.qualid * Libnames.qualid) list) Pcoq.Entry.t
OCaml

Innovation. Community. Security.