What's the equivalent of ghci's type directive in ocaml? | Hacker News Reader