Indexed_functor.For
module F : Preface_specs.INDEXED_FUNCTOR
val functor_1 : unit -> (('a, 'index) F.t, ('a, 'index) F.t) Law.t
val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> ('c, 'index) F.t -> ('b, 'index) F.t) Law.t