Module route_verification_ir::intermediate_repr

Structs

• Ir
  Parsed RPSL intermediate representation.

Functions

• merge_irs
  Merge irs into a single Ir in parallel, with no ordering guarantee.
• pal_write_ir
• split_n_btreemap