Your example, g actually takes the unit tuple, and returns 5. In ML, in general, you have to disambiguate with parentheses sometimes, but the compiler is very strict about types, so it&#x27;s usually pretty easy to tell where they need to be.<p>Look here: <a href="http:&#x2F;&#x2F;try.ocamlpro.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;try.ocamlpro.com&#x2F;</a><p>Try this code:<p>let g() = 5
g() == 5 
g != 5<p>First line defines the function. Second line should evaluate to true. Third line doesn&#x27;t type check because a function is not the same type as a literal.