節點定義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功能之前。