Trait SemiLattice 

pub trait SemiLattice: PartialOrdLogic + Sized {
    // Required method
    fn join(self, other: Self) -> Self;
}

The ‘lattice’ Resource Algebra.

Required Methods

fn join(self, other: Self) -> Self

logic

ensures

self <= result

ensures

other <= result

ensures

forall<r> self <= r ==> other <= r ==> result <= r

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety".

Implementors