I am pretty new to OCaml. I am working through John Harrison’s “Practical Logic and Automated Reasoning” book, which provides source code in OCaml that you can download and use to assist you with reading the book. I find that his << & >> quotation mark parser works in the ‘ocaml’ interpreter but fails in the ‘utop’ interpreter, even though the source that he provides to initialise his functions seems to load error-free in both, via use “init.ml”;; & “intro.ml”. I feel that ‘utop’ fails because some module is missing that is provided under ‘ocaml’.
My question is, how can I display all loaded modules within the interpreter so that I can compare ‘utop’/‘ocaml’ side by side, to see what missing library is preventing proper parsing in ‘utop’.
Thank you for your help.