src/stateSet.ml

   1 open Format
   2
   3 include Ptset.Make (
   4   struct type t = int
   5          type data = t
   6          external hash : t -> int = "%identity"
   7          external uid : t -> Uid.t = "%identity"
   8          external equal : t -> t -> bool = "%eq"
   9          external make : t -> int = "%identity"
  10          external node : t -> int = "%identity"
  11          external stats : unit -> unit = "%identity"
  12          external init : unit -> unit = "%identity"
  13   end
  14 )
  15
  16 let print ppf s =
  17   let first = ref true in
  18     pp_print_string ppf "{";
  19     iter
  20       (fun i ->
  21          if !first
  22          then let () = State.print ppf i in first := false
  23          else fprintf ppf " %a" State.print i)
  24       s;
  25     pp_print_string ppf "}"