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