Function inline_modules 

pub(crate) fn inline_modules<T>(expr: At<T>) -> At<T::Out>
where
    T: Annotation + Foldable<DefaultTypes, DefaultTypes>,
    T::Out: Annotation,