fact: Definition serialize_handler_result (res : (list output) * data * list (name * msg)) := let '(outputs, data, messages) := res in (outputs, data, map serialize_name_msg_tuple messages).
imports: Verdi(Verdi) Cheerios(Cheerios)