Module type LogicAssigns.Code

module type Code = sig .. end

type loc 
val equal_obj : Ctypes.c_object ->
loc Memory.value ->
loc Memory.value -> Lang.F.pred