SeqSort public struct SeqSort<T> where T : SortKind A meta-sort that is used to represent sequence sorts. Is not a SortKind itself as it is not a concrete type that can specialize Z3Ast instances, but used solely to refer to sequence sorts. getSort(_:) Creates a concrete instance of a Z3 sort that represents this sort kind. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort