physical_set.ml

module IntRef = struct
  type t = int ref
  let compare a b =
    (* Obj.magic注意！無理やりintにしてアドレスを得ている *)
    let a_address : int = Obj.magic a in
    let b_address : int = Obj.magic b in
    (* Pervasivesを付けるのは趣味 *)
    Pervasives.compare a_address b_address
end

(* 物理的等価性を見るint refの集合 *)
module IntRefSet = Set.Make (IntRef)