Function cairo_lang_sierra::edit_state::take_args

source ·

pub fn take_args<'a, V: 'a>(
    state: HashMap<VarId, V>,
    ids: impl Iterator<Item = &'a VarId>
) -> Result<(HashMap<VarId, V>, Vec<V>), EditStateError>

Expand description

Given a map with var ids as keys, extracts out the given ids, failing if some id is missing.