Source file pmark.ml

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
module Pmark = struct
  type t = int

  let equal (x : int) (y : int) = x = y
  let compare (x : int) (y : int) = compare x y
  let r = ref 0

  let gen () =
    incr r;
    !r
  ;;

  let pp = Format.pp_print_int
end

include Pmark

module Set = struct
  module Set = Set.Make (Pmark)

  let[@warning "-32"] to_list x =
    let open Set in
    to_seq x |> List.of_seq
  ;;

  include Set
end