Category.For
module C : Preface_specs.CATEGORY
val category_1 : unit -> (('a, 'b) C.t, ('a, 'b) C.t) Law.t
val category_2 : unit -> (('a, 'b) C.t, ('a, 'b) C.t) Law.t