stable_and_n

vstd_extra::temporal_logic::rules

Macro stable_and_n 

Source 
macro_rules! stable_and_n {
    [$($tail:tt)*] => { ... };
}