LAWS (preface.Preface_laws.Indexed

type ('a, 'index) t

val foldable_1 : 
  unit ->
  ((module Preface_specs.Types.T0
    with type t = 'a),
    ('b -> 'a -> 'a) ->
    'a ->
    ('b, 'index) t ->
    'a)
    Law.t

val foldable_2 : 
  unit ->
  ((module Preface_specs.Types.T0
    with type t = 'a),
    ('a -> 'b -> 'a) ->
    'a ->
    ('b, 'index) t ->
    'a)
    Law.t

val foldable_3 : 
  unit ->
  ((module Preface_specs.MONOID with type t = 'a), ('a, 'index) t -> 'a) Law.t