val t1 : ('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.tval t2 : ('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.tval fold :
init:'acc__0 ->
t1:
('acc__0 ->
('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
'acc__1) ->
t2:
('acc__1 ->
('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
'acc__2) ->
'acc__2val iter :
t1:
(('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
unit) ->
t2:
(('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
unit) ->
unitval map :
('a1, 'a2, 'a1_diff, 'a2_diff) t ->
t1:
(('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
'a1_diff ->
'result__) ->
t2:
(('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
'a2_diff ->
'result__) ->
'result__val make_matcher :
t1:
(('a1_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
'acc__0 ->
('a1_diff -> 'result__) * 'acc__1) ->
t2:
(('a2_diff -> ('a1, 'a2, 'a1_diff, 'a2_diff) t) Variantslib.Variant.t ->
'acc__1 ->
('a2_diff -> 'result__) * 'acc__2) ->
'acc__0 ->
(('a1, 'a2, 'a1_diff, 'a2_diff) t -> 'result__) * 'acc__2val to_rank : ('a1, 'a2, 'a1_diff, 'a2_diff) t -> intval to_name : ('a1, 'a2, 'a1_diff, 'a2_diff) t -> string