Trait Alias smt2::Sort

trait Sort = Clone + PartialEq + Debug;