For (preface.Preface_laws.Closed.For)

Parameters

module C : Preface_specs.CLOSED

val closed_1 : 
  unit ->
  ('a -> 'b, ('c, 'd) C.t -> ('b -> 'c, 'a -> 'd) C.t) Law.t

val closed_2 : 
  unit ->
  (('a, 'b) C.t, ('c -> 'd -> 'a, 'c -> 'd -> 'b) C.t) Law.t

val closed_3 : unit -> (('a, 'b) C.t, ('a, 'b) C.t) Law.t