Macro set_dist_lattice 

macro_rules! set_dist_lattice {
    ( $type_ident:ident $(< $( $lt:tt $( : $clt:tt $(+ $dlt:tt )* )? ),+ >)? ) => { ... };
}

A macro to emit the DistributiveLattice implementation for a type that implements SetLattice