ksmt-core/io.ksmt.cache/ConcurrentGcAstCache/put

put

open override fun put(ast: K, value: V): V?

Store a value for the ast. Return a previously associated value or null, if nothing was associated.