Prerequisite is existing knowledge of ML syntax I guess. Cause I couldn't fully follow.
And can someone tell me how its different to Java Interfaces or Classes?
And can someone tell me how its different to Java Interfaces or Classes?
Another big one is that module types are structural: you don't have to declare all the module types implemented by a module when you define the module.