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   end
  13 )
  14
  15 let print ppf s =
  16   let first = ref true in
  17     pp_print_string ppf "{";
  18     iter
  19       (fun i ->
  20          if !first
  21          then let () = State.print ppf i in first := false
  22          else fprintf ppf " %a" State.print i)
  23       s;
  24     pp_print_string ppf "}"