true_pred

vstd_extra::temporal_logic::defs

Function true_pred 

Source 
pub open spec fn true_pred<T>() -> TempPred<T>
Expand description
{ TempPred::new(|_ex: Execution<T>| true) }