ksmt-core/io.ksmt/KContext/close

close

open override fun close()