package alg_structs_qcheck

You can search for identifiers within the package.

in-package search v0.2.0

Module `Alg_structs_qcheck.Semigroup`Source

Sourcemodule Alg = Alg_structs

Sourcemodule type S = sig ... end

The Alg.Semigroup.S interface extended with a way of generating arbitrary QCheck values.

Sourceval test : (module S) -> QCheck.Test.t list

test impl_name (module S) is a list of QCheck property based tests that check whether the Semigroup Laws hold for the given implementation S.

Sourceval tests : (module S) list -> QCheck.Test.t list

test implementations is a flattened list of tests generated for each implementation in implementations