Contravariant.For
module C : Preface_specs.CONTRAVARIANT
val contravariant_1 : unit -> ('a C.t, 'a C.t) Law.t
val contravariant_2 : unit -> ('a -> 'b, ('b -> 'c) -> 'c C.t -> 'a C.t) Law.t