X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=hlist.ml;h=5509871306deec04bd9e1267dcc5bb3e4cc3b156;hb=cf6d366b25132eea7b0f1966c11d034d748af0fa;hp=e5a4aa54818e3da6cd5099440977f74f6b4315c4;hpb=c5f06d325240c808a9be4d71e20fc01969420bb3;p=SXSI%2Fxpathcomp.git diff --git a/hlist.ml b/hlist.ml index e5a4aa5..5509871 100644 --- a/hlist.ml +++ b/hlist.ml @@ -49,10 +49,10 @@ struct type data = Data.t type t = Node.t let make = Node.make - let node = Node.node - let hash = Node.hash + let node x = x.Node.node + let hash x = x.Node.key let equal = Node.equal - let uid = Node.uid + let uid x= x.Node.id let nil = Node.make Nil let cons a b = Node.make (Cons(a,b)) let hd = function { Node.node = Cons(a,_) } -> a | _ -> failwith "hd"