open Types
open Value

type extern = ref_
type t = extern

type ref_ += ExternRef of extern

let () =
  let eq_ref' = !Value.eq_ref' in
  Value.eq_ref' := fun r1 r2 ->
    match r1, r2 with
    | ExternRef r1', ExternRef r2' -> Value.eq_ref r1' r2'
    | _, _ -> eq_ref' r1 r2

let () =
  let type_of_ref' = !Value.type_of_ref' in
  Value.type_of_ref' := function
    | ExternRef _ -> ExternHT
    | r -> type_of_ref' r

let () =
  let string_of_ref' = !Value.string_of_ref' in
  Value.string_of_ref' := function
    | ExternRef r -> "(extern " ^ string_of_ref r ^ ")"
    | r -> string_of_ref' r