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