ksmt-core/io.ksmt.expr/KXorExpr/b

b

val b: KExpr<KBoolSort>