Indexed_selective (p.preface.1.1.0.doc.preface.laws.Preface_laws.Indexed

module type LAWS = sig ... end

module type LAWS_RIGID = sig ... end

module For
  (S : Preface_specs.INDEXED_SELECTIVE) : 
  LAWS with type ('a, 'index) t := ('a, 'index) S.t

module For_rigid
  (S : Preface_specs.INDEXED_SELECTIVE) : 
  LAWS_RIGID with type ('a, 'index) t := ('a, 'index) S.t