Module Value_messages.Value_Message_Callback

module Value_Message_Callback: sig .. end

include struct ... end
val apply : Value_messages.value_message * Cil_types.kinstr * Value_messages.callstack *
(Value_messages.state * Trace.t) -> result