pub trait Lattice {
// Required methods
fn join(&self, other: Self) -> Self;
fn meet(&self, other: Self) -> Self;
fn less_than(&self, other: Self) -> bool;
fn equal(&self, other: Self) -> bool;
fn check(&self) -> bool;
}Required Methods§
fn join(&self, other: Self) -> Self
fn meet(&self, other: Self) -> Self
fn less_than(&self, other: Self) -> bool
fn equal(&self, other: Self) -> bool
fn check(&self) -> bool
Dyn Compatibility§
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.