ksmt-core/io.ksmt.expr.rewrite.simplify/KExprSimplifier/ctx

ctx

open override val ctx: KContext