您即将离开知乎，请注意您的账号和财产安全。
https://www.seas.upenn.edu/~cis120/archive/20sp/ocaml-4.09-manual/manual037.html
