utop is an enhanced interactive top-level (REPL) for Ocaml.
It greatly improves upon the default ocaml REPL with features like:
- Auto-completion
- Syntax highlighting
- Type information for expressions
- Command history
It is the standard tool for interactive OCaml development, typically launched within a project via dune utop.