ksmt-core/io.ksmt.decl/KFpDecl/unbiasedExponentBinary

unbiasedExponentBinary

val unbiasedExponentBinary: KDecl<out KBvSort>