Module charon_lib::ast::meta_utils

This file groups everything which is linked to implementations about crate::meta

Functions

• combine_span
  Combine some span information (useful when we need to compute the span-information of, say, a sequence).
• combine_span_iter
  Combine all the span information in a slice.