fn iter_schema_includes<'a>(
        &self,
        members: &'a [EA::SpecBlockMember],
    ) -> impl Iterator<Item = (&'a MoveIrLoc, &'a Vec<PragmaProperty>, &'a EA::Exp)> {
        members.iter().filter_map(|m| {
            if let EA::SpecBlockMember_::Include { properties, exp } = &m.value {
                Some((&m.loc, properties, exp))
            } else {
                None
            }
        })
    }
/// Extracts all schema inclusions from a list of spec block members.
Extracts all schema inclusions from a list of spec block members.
Extracts all schema inclusions from a list of spec block members .
fn iter_schema_includes<'a>(
        &self,
        members: &'a [EA::SpecBlockMember],
    ) -> impl Iterator<Item = (&'a MoveIrLoc, &'a Vec<PragmaProperty>, &'a EA::Exp)> {
        members.iter().filter_map(|m| {
            if let EA::SpecBlockMember_::Include { properties, exp } = &m.value {
                Some((&m.loc, properties, exp))
            } else {
                None
            }
        })
    }
fn iter_schema_includes < ' a > ( & self , members : & ' a [ EA :: SpecBlockMember ] , ) -> impl Iterator < Item = ( & ' a MoveIrLoc , & ' a Vec < PragmaProperty > , & ' a EA :: Exp ) > { members . iter ( ) . filter_map ( | m | { if let EA :: SpecBlockMember_ :: Include { properties , exp } = & m . value { Some ( ( & m . loc , properties , exp ) ) } else { None } } ) }
Extracts all schema inclusions from a list of spec block members.
Extracts all schema inclusions from a list of spec block members .
&self
members
&'a [EA::SpecBlockMember]
&self
members
&'a [EA::SpecBlockMember]