package coq-core

You can search for identifiers within the package.

in-package search v0.2.0

The Coq Proof Assistant -- Core Binaries and Tools

Install

sha512=9a35311acec2a806730b94ac7dceabc88837f235c52a14c026827d9b89433bd7fa9555a9fc6829aa49edfedb24c8bbaf1411ebf463b74a50aeb17cba47745b6b

Sourceval pr_mlname : 'a -> 'b -> 'c -> string -> Pp.t

Sourceval wit_mlname : (string, string, string) Genarg.genarg_type

Sourceval mlname : string Pcoq.Entry.t

Sourceval pr_int_or_id : 'a -> 'b -> 'c -> Table.int_or_id -> Pp.t

val wit_int_or_id : 
  (Table.int_or_id, Table.int_or_id, Table.int_or_id) Genarg.genarg_type

Sourceval int_or_id : Table.int_or_id Pcoq.Entry.t

Sourceval pr_language : Table.lang -> Pp.t

Sourceval wit_language : (Table.lang, unit, unit) Genarg.genarg_type

Sourceval language : Table.lang Pcoq.Entry.t