Module spans

Module spans 

Source

ModulesΒ§

from_mir πŸ”’

StructsΒ§

Covspan πŸ”’

FunctionsΒ§

compare_spans πŸ”’
Compares two spans in (lo ascending, hi descending) order.
discard_spans_overlapping_holes πŸ”’
Discard all covspans that overlap a hole.
ensure_non_empty_span πŸ”’
extract_refined_covspans πŸ”’
remove_unwanted_overlapping_spans πŸ”’
Takes a list of sorted spans extracted from MIR, and β€œrefines” those spans by removing spans that overlap in unwanted ways.
single_covspan_for_child_expn πŸ”’
For a single child expansion, try to distill it into a single span+BCB mapping.