Closed YueLiPicasso closed 3 years ago
For two argument type constructors, the distrib function shall have type:
(('a,'b) injected, ('c, 'd) injected) T.t -> (('a, 'c) t, ('b, 'd) T.t) injected
instead of the wrong one as appear in the source.
For two argument type constructors, the distrib function shall have type:
(('a,'b) injected, ('c, 'd) injected) T.t -> (('a, 'c) t, ('b, 'd) T.t) injected
instead of the wrong one as appear in the source.