package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val extend_constr_grammar : Notation_gram.one_notation_grammar -> unit
val create_custom_entry : local:bool -> string -> unit
val locality_of_custom_entry : string -> bool