preface.laws
Indexed_functor.For
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
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