ksmt-core/io.ksmt/KContext/mkArithDivDecl

mkArithDivDecl

fun <T : KArithSort> mkArithDivDecl(arg: T): KArithDivDecl<T>