Prototype: a function and a calling convention Get arguments and return values at given points in the trace.
| Class | ResolvedArgumentValue |
Value and information of a function argument |
| Class | ResolvedRetValue |
Value and information of a function result. |
| Class | Prototype |
Information about a function prototype and its calling convention. Can be used to read arguments and return value at given points in the trace. |
| Class | CallSiteValues |
Helper class to access arguments and return value from a `call` transition. |