For (preface.Preface_laws.Indexed

Parameters

module F : Preface_specs.INDEXED_FOLDABLE

Signature

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

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

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