ksmt-core/io.ksmt/KContext/mkBvUnsignedRemDecl

mkBvUnsignedRemDecl

fun <T : KBvSort> mkBvUnsignedRemDecl(arg0: T, arg1: T): KBvUnsignedRemDecl<T>