Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat(lattices): Make Pair<> members public (#1233)
Summary of types examined: - `Min<T>`: T is not a lattice - `set_union<T>`: is not a lattice - map_union - not safe to expose map - union_find<K> - K is not a lattice - VecUnion<Lat> - not safe to expose vec - WithTop<Lat>/WithBot<Lat> - already pub - Pair<LatA, LatB> - Changed in this commit - DomPair<LatKey, LatVal> - Already correctly done with left pub and right private. - Conflict<T> / Point<T> - T is not a lattice type. - () - No nested types here.
- Loading branch information