ksmt-core
0.5.23
ksmt-core
/
io.ksmt.utils
/
mkConstDecl
mk
Const
Decl
fun
<
T
:
KSort
>
T
.
mkConstDecl
(
name
:
String
)
:
KUninterpretedConstDecl
<
T
>