fact: Definition switch_path_node (g : graph_node port * bool) := (switch_graph_node g.1, g.2).
imports: mathcomp(all_ssreflect ssralg fingroup zmodp poly ssrnum) mathcomp(matrix perm) ssr_ext ssralg_ext fdist subgraph_partition tanner