ksmt-core/io.ksmt.expr/KFpEqualExpr/arg0

arg0

val arg0: KExpr<S>