LAWS (preface.Preface_laws.Foldable.LAWS)

type 'a t

include Indexed_foldable.LAWS with type ('a, _) t := 'a t

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

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

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