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

ctx

abstract val ctx: KContext