What's the equivalent of ghci's type directive in ocaml? (stackoverflow.com)