package preface

  1. Overview
  2. Docs

Module Preface_qcheck.Apply

Functor that generate a suite for an Apply.

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