Function vstd::relations::equivalence_relation

source · 
pub open spec fn equivalence_relation<T>(r: FnSpec<(T, T), bool>) -> bool
Expand description
{
    &&& reflexive(r)
    &&& symmetric(r)
    &&& transitive(r)

}