temp_pred_and
vstd_
extra
In vstd_
extra::
temporal_
logic::
rules
vstd_extra
::
temporal_logic
::
rules
Macro
temp_
pred_
and
Copy item path
Source
macro_rules! temp_pred_and { [$($tail:tt)*] => { ... }; }