OCaml expressions are composed of expressions and nothing else. So everything we write has to be an expression. So what are expressions. Well, expressions are defined by the following:
exp ::= value | id | fun exp1 exp2 ... expn | let id = exp1 in exp2 n
What exactly does this jumble of words and abbreviations means?