ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkArraySelectDecl
mk
Array
Select
Decl
fun
<
D
:
KSort
,
R
:
KSort
>
mkArraySelectDecl
(
array
:
KArraySort
<
D
,
R
>
)
:
KArraySelectDecl
<
D
,
R
>
fun
<
D0
:
KSort
,
D1
:
KSort
,
R
:
KSort
>
mkArraySelectDecl
(
array
:
KArray2Sort
<
D0
,
D1
,
R
>
)
:
KArray2SelectDecl
<
D0
,
D1
,
R
>
fun
<
D0
:
KSort
,
D1
:
KSort
,
D2
:
KSort
,
R
:
KSort
>
mkArraySelectDecl
(
array
:
KArray3Sort
<
D0
,
D1
,
D2
,
R
>
)
:
KArray3SelectDecl
<
D0
,
D1
,
D2
,
R
>