Sourcetype ('a, 'b) item = ('a -> 'b) * ('b -> 'a) Sourcetype ('a, 'b) t = | [] : (unit, unit) t| :: : ('a, 'b) item * ('at, 'bt) t -> ('a * 'at, 'b * 'bt) t
Sourceval get :
'index 'arity_a 'a 'positive_a 'direct_a 'arity_b 'b 'positive_b 'direct_b.
('index, 'arity_a, 'a, 'positive_a, 'direct_a) Refl__.Desc.variable ->
('index, 'arity_b, 'b, 'positive_b, 'direct_b) Refl__.Desc.variable ->
('arity_a, 'arity_b) t ->
'a ->
'b Sourceval reverse :
'arity_a 'arity_b. ('arity_a, 'arity_b) t ->
('arity_b, 'arity_a) t