intSet.ml

   1 (******************************************************************************)
   2 (*  SXSI : XPath evaluator                                                    *)
   3 (*  Kim Nguyen (Kim.Nguyen@nicta.com.au)                                      *)
   4 (*  Copyright NICTA 2008                                                      *)
   5 (*  Distributed under the terms of the LGPL (see LICENCE)                     *)
   6 (******************************************************************************)
   7 type elt = int
   8 type t = int array
   9
  10 let numbits i = int_of_float (log (float_of_int (i+1)) /. (log 2.))
  11 let size i = ((numbits i)/63)+1
  12
  13 let empty = [| |]
  14
  15 let add