LAWS (preface.Preface_laws.Indexed

type ('a, 'index) t

include Indexed_functor.LAWS with type ('a, 'index) t := ('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

val alt_1 : 
  unit ->
  (('a, 'index) t, ('a, 'index) t -> ('a, 'index) t -> ('a, 'index) t) Law.t

val alt_2 : 
  unit ->
  ('a -> 'b, ('a, 'index) t -> ('a, 'index) t -> ('b, 'index) t) Law.t