Clone
Cédric Champeau
committed
on 29 Apr 19
Optimize flattening
This commit optimizes flattening by avoiding the creation of intermediate
data structures. In particular using lists we … Show more
Optimize flattening

This commit optimizes flattening by avoiding the creation of intermediate

data structures. In particular using lists we were converting from and to

sets unnecessarily.

Show less

green-master + 384 more