Module Indexed_foldable.For

Parameters

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