ksmt-core/io.ksmt/KContext/mkArithMulDecl

mkArithMulDecl

fun <T : KArithSort> mkArithMulDecl(arg: T): KArithMulDecl<T>