#[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
}