false_pred

vstd_extra::temporal_logic::defs

Function false_pred 

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