Up
–
rocq-runtime
»
Tuto2_plugin
» Counter
Module
Tuto2_plugin.Counter
val
increment :
unit
->
unit
val
value :
unit
->
int