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