vstd::relations

Function strict_total_ordering

Source 
pub open spec fn strict_total_ordering<T>(r: FnSpec<(T, T), bool>) -> bool
Expand description
{
    &&& irreflexive(r)
    &&& antisymmetric(r)
    &&& transitive(r)
    &&& connected(r)

}