package coq

  1. Overview
  2. Docs
package coq
Legend:
Library
Module
Module type
Parameter
Class
Class type
val __coq_plugin_name : string
val pr_mlname : 'a -> 'b -> 'c -> string -> Pp.t
val wit_mlname : (string, string, string) Genarg.genarg_type
val mlname : string Pcoq.Entry.t
val pr_int_or_id : 'a -> 'b -> 'c -> Table.int_or_id -> Pp.t
val pr_language : Table.lang -> Pp.t
val wit_language : (Table.lang, unit, unit) Genarg.genarg_type
val language : Table.lang Pcoq.Entry.t