Le jeu. 7 août 2014 à 23:06, Trevor Smith <trevorsummerssmith@gmail.com> a écrit :
Edwin,Thank you for your response.You are correct that the "val t" in my example should read "type t".My main goal is one of readability: I want to have large swathes of the codebase only use the immutable interface. A few, but very few, parts of the codebase will use the mutable interface. Ideally, I want the developer reading the .mli files to quickly and easily understand what interfaces do what. The standard way of adding the type constraints add a lot of syntax and make it (slightly) harder to read. My entire question is sort of a nitpick.