fact: Definition tot_mapped_lb_net_handlers_label me src m st := let '(lb, out, st', ps) := lb_net_handlers me src m st in tot_map_label lb.
imports: Verdi(Verdi LabeledNet TotalMapSimulations) InfSeqExt(infseq map exteq) Coq(FunctionalExtensionality) Verdi(Ssrexport)