Indexed_functor.LAWS
type ('a, 'index) t
val functor_1 : unit -> (('a, 'index) t, ('a, 'index) t) Law.t
val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> ('c, 'index) t -> ('b, 'index) t) Law.t