check-declare-verify is a compiled Lisp function in `
(check-declare-verify FNFILE FNLIST)
Check that FNFILE contains function definitions matching FNLIST.
Each element of FNLIST has the form (FILE FN ARGLIST FILEONLY), where
only the first two elements need be present. This means FILE claimed FN
was defined in FNFILE with the specified ARGLIST. FILEONLY non-nil means
to only check that FNFILE exists, not that it actually defines FN.
Returns nil if all claims are found to be true, otherwise a list
of errors with elements of the form (FILE FN TYPE), where TYPE
is a string giving details of the error.