Indexed_selective (preface.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