Seeking Clarification

[gypsyking18]

1. How does the methods block of a function that uses a struct, mapping, or array as parameters look?
2. How are location annotation like calldata and memory handle in the methods block of a function?
   Example:
   When an internal function is harness to exposed the function for certora interaction, do you still consider it as internal by using the calldata or memory annotation even though you are not using the harness function in the method block, which is external?

[yoav-el-certora]

Hi @gypsyking18, did you get your answer in Discord?

[gypsyking18]

Hi @gypsyking18, did you get your answer in Discord?

I didn't get any answer.