Refl.CompareSourcetype ('a, 'b) hook_fun =
'a Refl__.Desc.refl ->
'b Refl__.Desc.refl ->
(?hook:hook -> ('a, 'b) Comparer.t) ->
('a, 'b) Comparer.ttype Refl__.Desc.typed_attribute_kind += | Attribute_compare : ('a0, 'arity0, ('a0, 'a0) Comparer.t)
Refl__.Desc.typed_attribute_kindval compare_gen :
'a 'b 'structure 'arity_a 'arity_b 'rec_group 'positive 'negative 'direct 'gadt_a 'gadt_b.
?hook:
hook ->
('a,
'structure,
'arity_a,
'rec_group,
[< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ] as 'c,
'positive,
'negative,
'direct,
'gadt_a)
Refl__.Desc.desc ->
('b,
'structure,
'arity_b,
'rec_group,
'c,
'positive,
'negative,
'direct,
'gadt_b)
Refl__.Desc.desc ->
('arity_a, 'gadt_a, 'arity_b, 'gadt_b) poly ->
('arity_a, 'arity_b, 'direct) Comparers.t ->
('a, 'b) Comparer.tval compare_poly :
?hook:hook ->
('a,
'b,
'c,
'd,
[< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ] as 'e,
'f,
'g,
'h,
'i)
Refl__.Desc.desc ->
('j, 'b, 'k, 'd, 'e, 'f, 'g, 'h, 'l) Refl__.Desc.desc ->
('c, 'k, 'h) Comparers.t ->
('a, 'j) Comparer.tval compare :
?hook:hook ->
('a,
'b,
'c,
'd,
[< Refl__.Desc.Kinds.comparable Array Attributes Bool Bytes Char Constr Exists Float Int Int32 Int64 Lazy MapOpaque Nativeint Object Opaque Record String Tuple Variable Variant ],
'e,
'f,
'g,
'h)
Refl__.Desc.desc ->
('c, 'c, 'g) Comparers.t ->
('a, 'a) Comparer.t