Hello, you’re absolutely correct - it is a local open. It is introducing these constructors for the custom list syntax. If you define the constructors :: and [], you can use the list syntax sugar [a;b;] to access them instead of a::b::[]. To be able to access those constructors in the pattern part of the let binding, the local open was necessary here.
4 Likes