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.

  • Returns the Array sort with the current type’s Domain and Range.

    Declaration

    Swift

    public static func getSort(_ context: Z3Context) -> Z3Sort