ksmt-core/io.ksmt/KContext/mkBvUnsignedLessDecl

mkBvUnsignedLessDecl

fun <T : KBvSort> mkBvUnsignedLessDecl(arg0: T, arg1: T): KBvUnsignedLessDecl<T>