module Tools : sig ... endval map_poly :
('arity_a, 'arity_b, 'positive, 'negative) M.t ->
('count,
[ `Absent ],
'positive,
'negative,
'direct,
'positives,
'negatives,
'directs,
'subpositive,
'subnegative,
'subdirect)
Refl__.Desc.subvariables ->
('a,
'structure,
'arity_a,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt,
'count)
Refl__.Desc.forall_destruct ->
(('b,
'structure,
'arity_b,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt,
'count)
Refl__.Desc.forall_construct ->
'b) ->
'a ->
'bval map_with :
'types_a 'types_b 'arity_a 'arity_b 'structure 'kinds. ('arity_a,
'arity_b,
'positive,
'negative)
M.t ->
('types_a,
'structure,
'arity_a,
M.rec_group,
'kinds,
'positive,
'negative,
'direct,
M.gadt)
Refl__.Desc.record_structure ->
('types_b,
'structure,
'arity_b,
M.rec_group,
'kinds,
'positive,
'negative,
'direct,
M.gadt)
Refl__.Desc.record_structure ->
'types_a ->
'types_bval map :
('a, 'b, M.a_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt)
Refl__.Desc.record_structure ->
('e, 'b, M.b_arity, M.rec_group, 'c, M.positive, M.negative, 'd, M.gadt)
Refl__.Desc.record_structure ->
'f ->
'g