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