package preface

You can search for identifiers within the package.

in-package search v0.2.0

Module `Preface_qcheck.Divisible`

Functor that generate a suite for a Divisible.

module Suite
  (R : Model.CONTRAVARIANT_1)
  (F : Preface_specs.DIVISIBLE with type 'a t = 'a R.t)
  (A : Model.T0)
  (B : Model.T0)
  (C : Model.T0) : 
  Model.SUITE

package preface

Module Preface_qcheck.Divisible

Module `Preface_qcheck.Divisible`