Up – Index » rocq-runtime » Ssreflect_plugin » Ssrcommon » MakeState » S

Parameter `MakeState.S`

type state

val init : state

val name : string