package qcheck-stm

You can search for identifiers within the package.

in-package search v0.2.0

Module `STM_sequential`Source

Module for building sequential STM tests

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

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