ocaml中的预加载模块及其内容

Question

两个问题：

1. 如何找到我的ocaml会话中预先加载的模块？
2. 给定一个模块，我该如何列出其内容？

在SML中，标准＆＃34;技巧＆＃34;是定义一个虚拟模块，并在其中打开我想要检查的内容的模块。然后，虚拟模块的签名将以SML列出模块的内容。这在ocaml中不起作用。

发现这个：要查看预先加载的软件包，请使用#use "topfind";;使用topfind软件包，#list;;将列出预加载的软件包！

Answer 1

我不知道如何列出当前加载的模块。

显示模块的内容：

# #show_module Pervasives;;
module Pervasives :
  sig
    external raise : exn -> 'a = "%raise"
    external raise_notrace : exn -> 'a = "%raise_notrace"
    val invalid_arg : string -> 'a
    . . .
    val unsafe_really_input : in_channel -> bytes -> int -> int -> unit
    val do_at_exit : unit -> unit
  end

最初的顶级指令集在OCaml手册的Section 9.2中给出。