BoundedJoinSemilattice

Derive Macro BoundedJoinSemilattice 

Source
#[derive(BoundedJoinSemilattice)]
Expand description

Derive macro for BoundedJoinSemilattice.

Implements BoundedJoinSemilattice for a struct by constructing bottom() from each field’s bottom element.

§Example

#[derive(JoinSemilattice, BoundedJoinSemilattice)]
struct Foo {
    counter: Max<i32>,  // bottom = i32::MIN
    tags: HashSet<String>,  // bottom = ∅
}