Module Preface_qcheck.Indexed_alternative

module Suite_monoidal_aux (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (Index : Model.T0) : sig ... end
module Suite_right_distributivity_aux (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (Index : Model.T0) : sig ... end
module Suite_right_absorbtion_aux (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (Index : Model.T0) : sig ... end
module Suite_monoidal (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (C : Model.T0) (Index : Model.T0) : sig ... end
module Suite_right_distributivity (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (C : Model.T0) (Index : Model.T0) : sig ... end
module Suite_right_absorbtion (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (C : Model.T0) (Index : Model.T0) : sig ... end
module Suite (R : Model.COVARIANT_2) (F : Preface_specs.INDEXED_ALTERNATIVE with type ('a, 'index) t = ('a, 'index) R.t) (A : Model.T0) (B : Model.T0) (C : Model.T0) (Index : Model.T0) : sig ... end