let hash v = let k = node_type v in Hashtbl.hash (node_type_id k)