Prove looks up key in the tree and returns a proof either of key's value or that key is not present. Use [Verify] to retrieve the lookup result. Prove is a read-only operation and can be called concurrently with other calls to Prove, but not other calls to Set or Snap. It is an error to call Prove
(key Key)
source not stored for this graph (policy: none)
no outgoing calls