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