fact: Definition apply_entry h d e := match e with | inl inp => let '(_, d', _) := input_handlers h inp d in d' | inr (src, m) => let '(_, d', _) := net_handlers h src m d in d' end.
imports: Verdi(Verdi) Cheerios(Cheerios)