Up
–
coq-core
»
Tuto0_plugin
» G_tuto0
Module
Tuto0_plugin.G_tuto0
val
tuto_warn :
?loc:
Loc.t
->
unit
->
unit