Function temp_pred_equality Copy item path

pub proof fn temp_pred_equality<T>(p: TempPred<T>, q: TempPred<T>)

p.entails(q),

q.entails(p),

p == q,