Functor.For
module F : Preface_specs.FUNCTOR
include Indexed_functor.LAWS with type ('a, _) t := 'a F.t
val functor_1 : unit -> ('a F.t, 'a F.t) Law.t
val functor_2 : unit -> ('a -> 'b, ('c -> 'a) -> 'c F.t -> 'b F.t) Law.t