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

put

abstract fun put(ast: K, value: V): V?

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