sig type loc val equal_obj : Ctypes.c_object -> LogicAssigns.Code.loc Memory.value -> LogicAssigns.Code.loc Memory.value -> Lang.F.pred end