ksmt-core
0.5.23
ksmt-core
/
io.ksmt.decl
/
KFuncDecl3
/
arg2Sort
arg2Sort
val
arg2Sort
:
A2