Sourcetype ('a1, 'a2, 'a3, 'a4) derived_on = ('a1, 'a2, 'a3, 'a4) t Sourcetype ('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t =
private ('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t
list Sourceval quickcheck_generator :
'a1 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a2 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a3 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a4 Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Generator.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Generator.t Sourceval quickcheck_observer :
'a1 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a2 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a3 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a4 Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Observer.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Observer.t Sourceval quickcheck_shrinker :
'a1 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a2 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a3 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a4 Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a1_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a2_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a3_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
'a4_diff Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Ppx_quickcheck_runtime.Base_quickcheck.Shrinker.t Sourceval get :
(from:'a1 -> to_:'a1 -> 'a1_diff Optional_diff.t) ->
(from:'a2 -> to_:'a2 -> 'a2_diff Optional_diff.t) ->
(from:'a3 -> to_:'a3 -> 'a3_diff Optional_diff.t) ->
(from:'a4 -> to_:'a4 -> 'a4_diff Optional_diff.t) ->
from:('a1, 'a2, 'a3, 'a4) derived_on ->
to_:('a1, 'a2, 'a3, 'a4) derived_on ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Optional_diff.t Sourceval apply_exn :
('a1 -> 'a1_diff -> 'a1) ->
('a2 -> 'a2_diff -> 'a2) ->
('a3 -> 'a3_diff -> 'a3) ->
('a4 -> 'a4_diff -> 'a4) ->
('a1, 'a2, 'a3, 'a4) derived_on ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t ->
('a1, 'a2, 'a3, 'a4) derived_on Sourceval of_list_exn :
('a1_diff list -> 'a1_diff Optional_diff.t) ->
('a1 -> 'a1_diff -> 'a1) ->
('a2_diff list -> 'a2_diff Optional_diff.t) ->
('a2 -> 'a2_diff -> 'a2) ->
('a3_diff list -> 'a3_diff Optional_diff.t) ->
('a3 -> 'a3_diff -> 'a3) ->
('a4_diff list -> 'a4_diff Optional_diff.t) ->
('a4 -> 'a4_diff -> 'a4) ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t list ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t
Optional_diff.t Sourceval singleton :
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) Entry_diff.t ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t Sourceval create :
?t1:'a1_diff ->
?t2:'a2_diff ->
?t3:'a3_diff ->
?t4:'a4_diff ->
unit ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t Sourceval create_of_variants :
t1:
(('a1_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a1_diff Optional_diff.t) ->
t2:
(('a2_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a2_diff Optional_diff.t) ->
t3:
(('a3_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a3_diff Optional_diff.t) ->
t4:
(('a4_diff ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff)
Entry_diff.t)
Variantslib.Variant.t ->
'a4_diff Optional_diff.t) ->
('a1, 'a2, 'a3, 'a4, 'a1_diff, 'a2_diff, 'a3_diff, 'a4_diff) t