# IntPairPropertySample
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-82)</span>
```pony
class ref IntPairPropertySample is
  Stringable box
```

#### Implements

* [Stringable](builtin-Stringable.md) box

---

## Constructors

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


```pony
new ref create(
  choice': U8 val,
  int1': U128 val,
  int2': U128 val)
: IntPairPropertySample ref^
```
#### Parameters

*   choice': [U8](builtin-U8.md) val
*   int1': [U128](builtin-U128.md) val
*   int2': [U128](builtin-U128.md) val

#### Returns

* [IntPairPropertySample](pony_check-IntPairPropertySample.md) ref^

---

## Public fields

### let choice: [U8](builtin-U8.md) val
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-83)</span>



---

### let int1: [U128](builtin-U128.md) val
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-84)</span>



---

### let int2: [U128](builtin-U128.md) val
<span class="source-link">[[Source]](src/pony_check/int_properties.md#L-0-85)</span>



---

## Public Functions

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


```pony
fun box string()
: String iso^
```

#### Returns

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

---

