fact: Definition serialized_net_handlers (dst : name) (src : name) (wm : IOStreamWriter.wire) (d : data) := match deserialize_top deserialize wm with | None => ([], d, []) | Some m => serialize_handler_result (net_handlers dst src m d) end.
imports: Verdi(Verdi) Cheerios(Cheerios)