Module Entry_diff.Variants
val t1 :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.tval t2 :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.tval t3 :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.tval t4 :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.tval t5 :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.tval t6 :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a6_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.tval fold :
'acc__0 'acc__1 'acc__2 'acc__3 'acc__4 'acc__5 'acc__6 'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
init:
'acc__0 ->
t1:
('acc__0 ->
('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__1) ->
t2:
('acc__1 ->
('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__2) ->
t3:
('acc__2 ->
('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__3) ->
t4:
('acc__3 ->
('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__4) ->
t5:
('acc__4 ->
('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__5) ->
t6:
('acc__5 ->
('a6_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__6) ->
'acc__6val iter :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
t1:
(('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
Base.unit) ->
t2:
(('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
Base.unit) ->
t3:
(('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
Base.unit) ->
t4:
(('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
Base.unit) ->
t5:
(('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
Base.unit) ->
t6:
(('a6_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
Base.unit) ->
Base.unitval map :
'result__ 'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
t1:
(('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'a1_diff ->
'result__) ->
t2:
(('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'a2_diff ->
'result__) ->
t3:
(('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'a3_diff ->
'result__) ->
t4:
(('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'a4_diff ->
'result__) ->
t5:
(('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'a5_diff ->
'result__) ->
t6:
(('a6_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'a6_diff ->
'result__) ->
'result__val make_matcher :
'result__ 'acc__0 'acc__1 'acc__2 'acc__3 'acc__4 'acc__5 'acc__6 'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
t1:
(('a1_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__0 ->
('a1_diff -> 'result__) * 'acc__1) ->
t2:
(('a2_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__1 ->
('a2_diff -> 'result__) * 'acc__2) ->
t3:
(('a3_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__2 ->
('a3_diff -> 'result__) * 'acc__3) ->
t4:
(('a4_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__3 ->
('a4_diff -> 'result__) * 'acc__4) ->
t5:
(('a5_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__4 ->
('a5_diff -> 'result__) * 'acc__5) ->
t6:
(('a6_diff ->
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t)
Variantslib.Variant.t ->
'acc__5 ->
('a6_diff -> 'result__) * 'acc__6) ->
'acc__0 ->
(('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
'result__)
* 'acc__6val to_rank :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t @ local ->
Base.intval to_name :
'a1 'a2 'a3 'a4 'a5 'a6 'a1_diff 'a2_diff 'a3_diff 'a4_diff 'a5_diff 'a6_diff.
('a1,
'a2,
'a3,
'a4,
'a5,
'a6,
'a1_diff,
'a2_diff,
'a3_diff,
'a4_diff,
'a5_diff,
'a6_diff)
t ->
Base.string