match a,b with
| [`Type,a2],[`Type,b2] ->
if not (lt_path_uri [] a2 b2) then (
match a,b with
| [`Type,a2],[`Type,b2] ->
if not (lt_path_uri [] a2 b2) then (
history := (`Obj (u,obj))::!history;
if saved_frozen_list = [] then
exn
else
history := (`Obj (u,obj))::!history;
if saved_frozen_list = [] then
exn
else