Up – coq-core » Ssreflect_plugin » Ssrcommon » MakeState » 1-S

Parameter `MakeState.1-S`

type state

val init : state