type 'a avl = Empty | Node of int * 'a avl * 'a * 'a avl



let rec map f = function
  Empty -> Empty
  | Node (alt,e,a,d) -> Node (alt,map f e, f a, map f d)
                          

This document was generated using caml2html