package rocq-runtime

  1. Overview
  2. Docs
package rocq-runtime
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module type Nametab.WarnInfoSource

Sourcetype elt
Sourcetype data
Sourcemodule Map : CSig.UMapS with type key = elt
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