ksmt-core/io.ksmt/KContext/mkFp64Decl

mkFp64Decl

fun mkFp64Decl(value: Double): KFp64Decl