Z3Array public extension Z3Array getSort(_:) Gets the statically-typed array Z3Sort associated with ArraySort<D, R> from this Z3Array. Declaration Swift static func getSort(_ context: Z3Context) -> Z3Sort subscript(_:) Array read. Declaration Swift subscript<D, R>(index: Z3Ast<D>) -> Z3Ast<R> where T == ArraySort<D, R>, D : SortKind, R : SortKind { get }
Z3Array Extension Reference
Z3Array Extension Reference