rescala.extra.lattices
Dot stores provide a generic way to merge datastructures, implemented on top of one of the provided dot stores.