= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
type ('a_arity, 'b_arity, 'positive, 'negative) t
val grow :
('a_arity, 'b_arity, 'positive, 'negative) t ->
('a * 'a_arity, 'a * 'b_arity, _ * 'positive, _ * 'negative) t
val map :
('a_arity, 'b_arity, 'positive, 'negative) t ->
('a,
'structure,
'a_arity,
rec_group,
'kinds,
'positive,
'negative,
'direct,
gadt)
Refl__.Desc.desc ->
('b,
'structure,
'b_arity,
rec_group,
'kinds,
'positive,
'negative,
'direct,
gadt)
Refl__.Desc.desc ->
'a ->
'b