Module Indexed_apply.For

Parameters

Signature

include Indexed_functor.LAWS with type ('a, 'index) t := ('a, 'index) A.t
val functor_1 : unit -> (('a, 'index) A.t, ('a, 'index) A.t) Law.t
val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> ('c, 'index) A.t -> ('b, 'index) A.t) Law.t
val apply_1 : unit -> ((unit, 'index) A.t, ('a, 'index) A.t -> ('a, 'index) A.t) Law.t
val apply_2 : unit -> (('a, 'index) A.t, (unit, 'index) A.t -> ('a, 'index) A.t) Law.t