Up
–
coq-core
»
Ssreflect_plugin
»
Ssrcommon
» StateType
Module type
Ssrcommon.StateType
type
state
val
init :
state
val
name : string