ksmt-core/io.ksmt.decl/KBv2IntDecl/apply

apply

open override fun KContext.apply(arg: KExpr<KBvSort>): KApp<KIntSort, KBvSort>