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.

  • Creates a concrete instance of a Z3 sort that represents this sort kind.

    Declaration

    Swift

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