Trait rustc_mir_dataflow::framework::lattice::HasTop
source · pub trait HasTop {
// Required method
fn top() -> Self;
}Expand description
A set that has a “top” element, which is greater than or equal to any other element.