When does the relaxed value restriction kick in in OCaml?

Question

Can someone give a concise description of when the relaxed value restriction kicks in? I\'ve had trouble finding a concise and clear description of the rules. There\'s Garr

Answer 1

Although I'm not very familiar with this theory, I have asked a question about it.
gasche provided me with a concise explanation. The example is just a part of OCaml's map module. Check it out!
Maybe he will be able to provide you with a better answer. @gasche