lib函数的节点定义

Question

在map.ml lib文件中，函数高度定义如下：

let height = function
    Empty -> 0
  | Node(_,_,_,_,h) -> h

我的问题是： Node（）实际定义在哪里？

我搜索了整套ocaml源文件，并且一无所获。

谢谢！

Answer 1

在map.ml的OCaml 4.05.0源代码中，我看到了：

type 'a t =
    Empty
  | Node of 'a t * key * 'a * 'a t * int

let height = function
    Empty -> 0
  | Node(_,_,_,_,h) -> h

该定义紧接在height函数之前。