package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Nametab.ValueType`Source

Sourcetype t

Sourceval equal : t -> t -> bool

Sourceval is_var : t -> Names.Id.t option

Is this a variable (not handled by name tables)?

Sourcemodule Map : CSig.UMapS with type key = t