ArraySort public struct ArraySort<Domain, Range> : SortKind where Domain : SortKind, Range : SortKind A sort that describes an array with a domain and range, specified by two generic type arguments. getSort(_:) Returns the Array sort with the current type’s Domain and Range. Declaration Swift public static func getSort(_ context: Z3Context) -> Z3Sort