ksmt-core/io.ksmt/KContext/mkBvUnsignedDivDecl

mkBvUnsignedDivDecl

fun <T : KBvSort> mkBvUnsignedDivDecl(arg0: T, arg1: T): KBvUnsignedDivDecl<T>