module Tools : sig ... endmodule RecordMap : sig ... endval map_kind :
'structure 'kinds. ('a_arity, 'b_arity, 'subpositive, 'subnegative) M.t ->
('types_a,
'structure,
'a_arity,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt)
Refl__.Desc.constructor_kind ->
('types_b,
'structure,
'b_arity,
M.rec_group,
'kinds,
'subpositive,
'subnegative,
'subdirect,
M.gadt)
Refl__.Desc.constructor_kind ->
'types_a ->
'types_bval map_choice :
'a_cases 'b_cases 'structures 'kinds. ('a_cases,
'structures,
M.a_arity,
M.rec_group,
'kinds,
M.positive,
M.negative,
'direct,
M.gadt)
Refl__.Desc.constructors ->
('b_cases,
'structures,
M.b_arity,
M.rec_group,
'kinds,
M.positive,
M.negative,
'direct,
M.gadt)
Refl__.Desc.constructors ->
'a_cases Refl__.Desc.binary_choice ->
'b_cases Refl__.Desc.binary_choice