ksmt-core
0.5.23
ksmt-core
/
io.ksmt.decl
/
KFuncDecl3
/
KFuncDecl3
KFunc
Decl3
fun
<
T
:
KSort
,
A0
:
KSort
,
A1
:
KSort
,
A2
:
KSort
>
KFuncDecl3
(
ctx
:
KContext
,
name
:
String
,
resultSort
:
T
,
arg0Sort
:
A0
,
arg1Sort
:
A1
,
arg2Sort
:
A2
)