Oh no. OCaml's first-class modules mean that you can have... references to modules
Conversation
as in... mutable modules?
1
Essentially!
1
I guess this means you can mutate types then? I hope they are abstract 🤔
2
can you have a local definition that has the type of a member of a mutable first class module
1
No, to access the fields of a "mutable" module you have to dereference it and then bind it to a module identifier. The syntax is such that you can't do what you're thinking of.
1
1