package alg_structs_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

Provides qCheck generators for laws of alg_structs

Install

dune-project

Dependency

github.com Edit opam file Versions (1)

Authors

S

Shon Feder

Maintainers

S

shon.feder@gmail.com

Sources

alg_structs_qcheck-0.1.3.tbz

sha256=6b0113f2500e70fd00862879ba36d64e9e0f1815ad6ffe2325b1e5e8ed561c08

sha512=80e7a34fb04791221df44d876482a562a48b8e84665258be556fefc1cb77c380425bff7b1f52939bffbf69d78d223ff428e936f7a32dccb7901c6f06783cd764

doc/index.html

alg_structs_qcheck