package rocq-runtime

You can search for identifiers within the package.

in-package search v0.2.0

Module `Library_info`Source

Sourcetype t = UserWarn.t

val warn_library_info : 
  ?loc:Loc.t ->
  ?transitive:bool ->
  Names.DirPath.t ->
  t ->
  unit