Trait rustc_mir_dataflow::framework::lattice::HasTop

source · 
pub trait HasTop {
    fn top() -> Self;
}
Expand description

A set that has a “top” element, which is greater than or equal to any other element.

Required Methods

Implementations on Foreign Types

Implementors