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

get

open override fun get(ast: K): V?

Find a value associated with a ast.