bjoernager/rust
bjoernager/rust
1
Fork 0
Code Issues Pull requests Activity

Edit rustc_mir_dataflow::framework::lattice::FlatSet docs

Browse source 
Cosmetic improvements. Adds a paragraph break, and
ellipses to signify arbitrary size of a flat set.
This commit is contained in:
pierwill 2022-07-05 11:32:25 -05:00
parent 7425fb293f
commit f8b16c5d87
1 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

12
compiler/rustc_mir_dataflow/src/framework/lattice.rs
View file

@ -199,14 +199,16 @@ impl<T: JoinSemiLattice> MeetSemiLattice for Dual<T> {
} }
/// Extends a type `T` with top and bottom elements to make it a partially ordered set in which no /// Extends a type `T` with top and bottom elements to make it a partially ordered set in which no
/// value of `T` is comparable with any other. A flat set has the following [Hasse diagram]: /// value of `T` is comparable with any other.
///
/// A flat set has the following [Hasse diagram]:
/// ///
/// ```text /// ```text
/// top /// top
/// / / \ \ /// / ... / / \ \ ... \
/// all possible values of `T` /// all possible values of `T`
/// \ \ / / /// \ ... \ \ / / ... /
/// bottom /// bottom
/// ``` /// ```
/// ///
/// [Hasse diagram]: https://en.wikipedia.org/wiki/Hasse_diagram /// [Hasse diagram]: https://en.wikipedia.org/wiki/Hasse_diagram