Up – ortac-runtime-qcheck-stm » Ortac_runtime_qcheck_stm » Model » Make » M

Parameter `Make.M`

type elt

val init : elt