X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=automaton.ml;h=27c82645f85b92d994c51ceb7e10473cb4e1847d;hb=6c60812f1f494f273d6074fcccf2707a6097cfaa;hp=12eee0b1543c46c591cfc8ae98ebc214401f6452;hpb=24fdea81b5506233d139bd7d72364a190bef35b8;p=SXSI%2Fxpathcomp.git diff --git a/automaton.ml b/automaton.ml index 12eee0b..27c8264 100644 --- a/automaton.ml +++ b/automaton.ml @@ -28,8 +28,8 @@ struct let mem e s = ((1 lsl e) land s) != 0 let add e s = (1 lsl e) lor s let singleton e = (1 lsl e) - let union = (lor) - let inter = (land) + let union a b = a lor b + let inter a b = a land b let diff a b = a land (lnot b) let remove e s = (lnot (1 lsl e) land s) let compare = (-)