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

apply

open override fun KContext.apply(arg0: KExpr<KBv1Sort>, arg1: KExpr<KBvSort>, arg2: KExpr<KBvSort>): KApp<T, *>