module IntSet = Set.Make(OrderedInt)
let compute_equality_weight (ty,left,right,o) =
module IntSet = Set.Make(OrderedInt)
let compute_equality_weight (ty,left,right,o) =
let s = UriManager.string_of_uri (LibraryObjects.eq_URI ()) in
UriManager.uri_of_string (s ^ "#xpointer(1/1/1)")
let trans_eq_URI () = LibraryObjects.trans_eq_URI ~eq:(LibraryObjects.eq_URI ())
let s = UriManager.string_of_uri (LibraryObjects.eq_URI ()) in
UriManager.uri_of_string (s ^ "#xpointer(1/1/1)")
let trans_eq_URI () = LibraryObjects.trans_eq_URI ~eq:(LibraryObjects.eq_URI ())