Indexed_selective (preface.Preface_qcheck.Indexed

module Suite
  (R : Model.COVARIANT_2)
  (F : 
    Preface_specs.INDEXED_SELECTIVE 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_rigid
  (R : Model.COVARIANT_2)
  (F : 
    Preface_specs.INDEXED_SELECTIVE with type ('a, 'index) t = ('a, 'index) R.t)
  (A : Model.T0)
  (B : Model.T0)
  (C : Model.T0)
  (Index : Model.T0) : 
  sig ... end