Up
–
rocq-runtime
»
Tuto0_plugin
» G_tuto0
Module
Tuto0_plugin.G_tuto0
val
cat :
CWarnings.category
val
tuto_warn :
?loc:
Loc.t
->
unit
->
unit