utop for ocaml is cool, gives type signatures for functions.
no explicit help, but does offer completions with tab.
Similarly, rtop for reason.
https://opam.ocaml.org/blog/about-utop/ and https://opam.ocaml.org/packages/rtop/
Similarly, rtop for reason.
https://opam.ocaml.org/blog/about-utop/ and https://opam.ocaml.org/packages/rtop/
dbuenzli's down also has a similar feature.