charon_lib::ast

Module meta_utils

source
Expand description

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

Functionsยง

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