节点定义LIB功能

Question

在map.ml库文件，功能高度定义如下：

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

我的问题是：其中节点（）实际上定义？

我已经搜索了整套ocaml源文件并且什么也没有。

谢谢！

Answer 1

在OCaml的4.05.0源map.ml我看到这一点：

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

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

定义紧接在height功能之前。