Implement getFunction() helpers on the various value types, and use it to
implement some simple checks in the Verifier.

PiperOrigin-RevId: 211729987
5 files changed
tree: b032870e255b82a23ec755ca0bbf8ef29c4b1189
  1. include/
  2. lib/
  3. test/
  4. tools/
  5. utils/
  6. .clang-format
  7. LICENSE.TXT