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