You thought right. Ocaml is an impure functional language.