Trait SortedWith
smt2
pub trait SortedWith<S> { fn sort(&self) -> &S; }
fn sort(&self) -> &S
impl<X, T> SortedWith<T> for Sorted<X, T>
fn sort(&self) -> &T