Re: Modular explicits in pre-OCaml 5.5

Thanks for pointing this out. Does this mean that modular explicits, 
strictly speaking, bring no additional expressivity but only a simpler 
way to do these things? Or are there programs that could be expressed 
with modular explicits but not with constrained module types?