ksmt-core
0.5.23
ksmt-core
/
io.ksmt
/
KContext
/
mkArrayStoreDecl
mk
Array
Store
Decl
fun
<
D
:
KSort
,
R
:
KSort
>
mkArrayStoreDecl
(
array
:
KArraySort
<
D
,
R
>
)
:
KArrayStoreDecl
<
D
,
R
>
fun
<
D0
:
KSort
,
D1
:
KSort
,
R
:
KSort
>
mkArrayStoreDecl
(
array
:
KArray2Sort
<
D0
,
D1
,
R
>
)
:
KArray2StoreDecl
<
D0
,
D1
,
R
>
fun
<
D0
:
KSort
,
D1
:
KSort
,
D2
:
KSort
,
R
:
KSort
>
mkArrayStoreDecl
(
array
:
KArray3Sort
<
D0
,
D1
,
D2
,
R
>
)
:
KArray3StoreDecl
<
D0
,
D1
,
D2
,
R
>