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