What's the equivalent of ghci's type directive in ocaml? · HackerTrans