Expression-callees
Functions called by an expression.
- Signature
(expression-callees expr) → callees
- Arguments
- expr — Guard (expressionp expr).
- Returns
- callees — Type (identifier-setp callees).
If a non-static struct member function call is not resolved
(i.e. it does not have the struct type name),
we return nil.
Thus, this is correct only if that struct type name is present,
i.e. if the function recursion check is performed after type inference.
We will enforce this by
defining a predicate requiring the presence of the struct type name
and using that as guard of this ACL2 function.
