# _StringifyIntArg
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-1)</span>
```pony
primitive val _StringifyIntArg
```

## Constructors

### create
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-1)</span>


```pony
new val create()
: _StringifyIntArg val^
```

#### Returns

* [_StringifyIntArg](pony_check-_StringifyIntArg.md) val^

---

## Public Functions

### apply
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-2)</span>


```pony
fun box apply(
  choice: U8 val,
  int: U128 val)
: String iso^
```
#### Parameters

*   choice: [U8](builtin-U8.md) val
*   int: [U128](builtin-U128.md) val

#### Returns

* [String](builtin-String.md) iso^

---

### eq
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-2)</span>


```pony
fun box eq(
  that: _StringifyIntArg val)
: Bool val
```
#### Parameters

*   that: [_StringifyIntArg](pony_check-_StringifyIntArg.md) val

#### Returns

* [Bool](builtin-Bool.md) val

---

### ne
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-2)</span>


```pony
fun box ne(
  that: _StringifyIntArg val)
: Bool val
```
#### Parameters

*   that: [_StringifyIntArg](pony_check-_StringifyIntArg.md) val

#### Returns

* [Bool](builtin-Bool.md) val

---

