package preface

You can search for identifiers within the package.

in-package search v0.2.0

Module `Preface_qcheck.Monoid`

Functor that generate a suite for a Monoid.

module Suite
  (R : Model.COVARIANT_0)
  (M : Preface_specs.MONOID with type t = R.t) : 
  Model.SUITE