# Check

---

Type checking

# Ops

# Actions

# Complete Function Definitions

A function with its arguments and return type defined

# Incomplete Function Definitions

Check if the function's arguments are all typed, if they are the functions return type can be inferred and set as a complete function

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