# Check

---

Type checking

# Ops

# Actions

# Complete Function Definitions

# Incomplete Function Definitions

Can only type check on invocation, check if invocation is in the `INVOCATION_LIST` if not add new invocation