package qcstm

You can search for identifiers within the package.

in-package search v0.2.0

A simple state-machine framework for OCaml based on QCheck

Install

Dune Dependency

github.com Edit opam file Versions (2)

Authors

J

Jan Midtgaard

Maintainers

J

Jan Midtgaard <mail@janmidtgaard.dk>

Sources

sha256=b634944b197512ff46c3e8ffeb86c4abd3b308db00b3e9defafaf9bb6112caa8

md5=aea97b691038c9c93d1378ba4d5ad7ad

doc/index.html

qcstm

API

Library qcstm

No module.

On This Page

API
1. Library qcstm