Trait smt2::SortedWith

pub trait SortedWith<S> {
    fn sort(&self) -> &S;
}

Required methods

fn sort(&self) -> &S

Loading content...

Implementors

impl<X, T> SortedWith<T> for Sorted<X, T>

fn sort(&self) -> &T

Loading content...