ksmt-core/io.ksmt.expr.transformer/KNonRecursiveTransformer/ctx

ctx

open override val ctx: KContext