]> Hugo Ferreira wrote: > I am attempting to define a type so: > > type node = > | Node of links > | Leaf of int > > And I want to implement links as a > hashtable whose keys and values are > also of type node. type node = | Node of links | Leaf of int and links = (node, node) Hashtbl.t should do it. Jacques