BoundedMeetSemilattice

Derive Macro BoundedMeetSemilattice 

Source
#[derive(BoundedMeetSemilattice)]
Expand description

Derive macro for BoundedMeetSemilattice.

Implements BoundedMeetSemilattice for a struct by constructing top() from each field’s top element.

§Example

#[derive(MeetSemilattice, BoundedMeetSemilattice)]
struct Foo {
    counter: Min<i32>,  // top = i32::MAX
    flag: bool,  // top = true
}