在utop中很好地打印出值

Question

Haskell的ghci可以很好地打印属于实现Show类型类的类型的任何值。在OCaml中是否有任何等价物可以让utop自动地自动打印用户定义类型的值？每行输入x |> M.to_string非常繁琐......

Answer 1

在类型M.t的模块中定义函数：

val pp : Format.formatter -> t -> unit

然后，您可以使用以下内容为ocaml或utop安装类型的打印机：

# #install_printer M.pp

请参阅手册的toplevel directive部分。