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