Indexed_alternative (preface.Preface_laws.Indexed

module type LAWS_MONOID = sig ... end

module type LAWS_RIGHT_DISTRIBUTIVITY = sig ... end

module type LAWS_RIGHT_ABSORPTION = sig ... end

module For_monoidal
  (A : Preface_specs.INDEXED_ALTERNATIVE) : 
  LAWS_MONOID with type ('a, 'index) t := ('a, 'index) A.t

module For_right_distributivity
  (A : Preface_specs.INDEXED_ALTERNATIVE) : 
  LAWS_RIGHT_DISTRIBUTIVITY with type ('a, 'index) t := ('a, 'index) A.t

module For_right_absorbtion
  (A : Preface_specs.INDEXED_ALTERNATIVE) : 
  LAWS_RIGHT_ABSORPTION with type ('a, 'index) t := ('a, 'index) A.t