let hash = function | Name (n,Ac) -> Hstring.hash n * 19 + 1 | Name (n,_) -> Hstring.hash n * 19 | Var n (*| Int n*) -> Hstring.hash n * 19 + 1 | s -> Hashtbl.hash s