set_dist_lattice

Macro set_dist_lattice 

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

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