Up
–
Index
»
ortac-runtime-qcheck-stm
»
Ortac_runtime_qcheck_stm_util
»
Stores
» SUT
Module
Stores.SUT
module
Make
(
M
:
sig
...
end
) :
sig
...
end