[SMT-LIB] user defined records

[Amirhossein Vakili]

Hi

I have two questions:

1) Is it possible to make user defined records in SMT-LIB?

2) Suppose we have the following SMT-LIB code:

(declare-sort Pair 2)
(define-sort PInt () (Pair Int Int))

If I am correct, this definition implies that each element of type PInt 
is a pair of integers. How can one access each element of this pair?

Thanks,
Amir