package rocq-runtime

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

Parameter MakeWarned.W

type elt = M.elt
type data
module Map : CSig.UMapS with type key = elt
val stage : Summary.Stage.t
val summary_name : string

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

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