Up – Package index » qcheck-stm » Library qcheck-stm.domain » STM_domain

Module `STM_domain`Source

Module for building parallel STM tests over Stdlib.Domains

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

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