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

get

abstract fun get(ast: K): V?

Find a value associated with a ast.