Z3SymbolKind

public extension Z3SymbolKind

  • Declaration

    Swift

    static let intSymbol: Z3_symbol_kind

  • Declaration

    Swift

    static let stringSymbol: Z3_symbol_kind