package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module type `Nametab.WarnInfo`Source

Sourcetype elt

Sourcetype data

Sourcemodule Map : CSig.UMapS with type key = elt

Sourceval stage : Summary.Stage.t

Sourceval summary_name : string

NB: This summary name must NOT be the same as the nametab summary name.

Sourceval warn : ?loc:Loc.t -> elt -> data -> unit