{"ast_node_type":"other","tokens":[{"end":82,"kind":"keyword","start":0,"text":"///"}]}
    /// Specifies configuration options to be enabled. Options may have associated
    pub extern_prelude: Option<Vec<String>>,
    /// values.