qcstm

A simple state-machine framework for OCaml based on QCheck
IN THIS PACKAGE
Module QCSTM
module type StmSpec = sig ... end
module Make (Spec : StmSpec) : sig ... end