package coq

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

type t

val compare : t -> t -> int

val encode : Libnames.reference -> t

val subst : Mod_subst.substitution -> t -> t

val printer : t -> Pp.std_ppcmds

val key : option_name

val title : string

val member_message : t -> bool -> Pp.std_ppcmds