module - OCaml - 如何查看模块的界面？

Question

是否可以在交互式 OCaml 中看到已加载模块的界面？我已经(不成功)尝试搜索这种可能性，而在线文档/资源并不是我想要的。

Answer 1

这样做的标准技巧是为模块定义一个同义词，这会导致顶层列出接口(interface)。

$ ocaml
        OCaml version 4.00.1

# #load "str.cma";; 
# module S = Str;;
module S :
  sig
    type regexp = Str.regexp
    val regexp : string -> regexp
    val regexp_case_fold : string -> regexp
    val quote : string -> string
    val regexp_string : string -> regexp
    val regexp_string_case_fold : string -> regexp
    val string_match : regexp -> string -> int -> bool
    . . .
    val first_chars : string -> int -> string
    val last_chars : string -> int -> string
  end

更新

(请注意，这个答案来自 2013 年。OCaml 的最新版本提供了一个顶级指令来显示模块接口(interface):

# #show_module Str;;
module Str :
  sig
    type regexp
    val regexp : string -> regexp
    . . .
    val first_chars : string -> int -> string
    val last_chars : string -> int -> string
  end

所以不再需要半聪明的解决方法。

(有许多新指令。在顶层输入 #help;; 以获取列表。)