Meeting Notes: 22.11.21

• Functionality of isConcreteElementOf_List
• Difference between union and widen

---

TODOS

• Implement union and widen as discussed
• Revise already implemented methods
  • output type
  • ASome and AMaybe cases
• Test: widen_AList and widen_AOption with loop example