Type_descr.join: preserve aliases on join with Bottom#327
Merged
chambart merged 3 commits intoocaml-flambda:flambda2.0-stablefrom Apr 15, 2021
Merged
Type_descr.join: preserve aliases on join with Bottom#327chambart merged 3 commits intoocaml-flambda:flambda2.0-stablefrom
chambart merged 3 commits intoocaml-flambda:flambda2.0-stablefrom