2 ms·it's a convention in ML languages, for a name whose value has been modifiedby manu3000 10y agoit's a convention in ML languages, for a name whose value has been modified