Up – Package index » qcheck-stm » Library qcheck-stm.sequential » STM_sequential

Module `STM_sequential`Source

Module for building sequential STM tests

Sourcemodule Make (Spec : STM.Spec) : sig ... end

Sourcemodule MakeExt (Spec : STM.SpecExt) : sig ... end