Up
–
coq-core
»
Tuto2_plugin
» Persistent_counter
Module
Tuto2_plugin.Persistent_counter
val
increment :
unit
->
unit
val
value :
unit
->
int