ksmt-core/io.ksmt/KContext/mkFp32Decl

mkFp32Decl

fun mkFp32Decl(value: Float): KFp32Decl