For (preface.Preface_laws.Foldable.For)

Parameters

module F : Preface_specs.FOLDABLE

Signature

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

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

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

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