What does `open` do?
You’re unable to view this Tweet because this account owner limits who can view their Tweets. Learn more
Conversation
If it is something like agda then open gives you access to the fields of a record (and a record behaves like a tiny module).
1
2
[in the sense that you can use the name unqualified]
1
2
Show replies