Divisible.For
module D : Preface_specs.DIVISIBLE
val divisible_1 : unit -> ('a D.t, 'a D.t) Law.t
val divisible_2 : unit -> ('a D.t, 'a D.t) Law.t
val divisible_3 : unit -> ('a D.t, 'a D.t -> 'a D.t -> 'a D.t) Law.t
val divisible_4 : unit -> ('a -> 'b * 'c, 'b D.t -> 'a D.t) Law.t
val divisible_5 : unit -> ('a -> 'b * 'c, 'c D.t -> 'a D.t) Law.t