IntSort

public struct IntSort : ArithmeticSort

An integer sort. Note that this is not the same as a machine integer.

  • Returns an integer sort. Note that this is not the same as a machine integer.

    Declaration

    Swift

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