use ;
use crateExtension;
/// Module metadata
///
/// We use this trait to still access metadata once we have
/// converted it from an [`Extension`] to a [`ModuleDef`].
///
/// This is necessary for the [`ExtensionBuilder`](crate::ExtensionBuilder) to work.
/// Semantically convert an [`Extension`] to a [`ModuleDef`] and [`ModuleMeta`]