ksmt-core/io.ksmt/KContext/mkBvReductionOrDecl

mkBvReductionOrDecl

fun <T : KBvSort> mkBvReductionOrDecl(sort: T): KBvReductionOrDecl<T>