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

Parameter `Make.M`

type sut

val init : unit -> sut