stable_and_always_n_internal
vstd_
extra
In vstd_
extra::
temporal_
logic::
rules
vstd_extra
::
temporal_logic
::
rules
Macro
stable_
and_
always_
n_
internal
Copy item path
Source
macro_rules! stable_and_always_n_internal { ($p1:expr, $($tail:expr),* $(,)?) => { ... }; }