ksmt-core/io.ksmt/KContext/mkBvSignedModDecl

mkBvSignedModDecl

fun <T : KBvSort> mkBvSignedModDecl(arg0: T, arg1: T): KBvSignedModDecl<T>