Up – preface » Preface_qcheck » Semigroup » Suite

Module `Semigroup.Suite`

Parameters
Signature

Parameters

module R : Model.COVARIANT_0

module S : Preface_specs.SEMIGROUP with type t = R.t

Signature

val tests : count:int -> QCheck2.Test.t list