pub fn take_args<'a, V: 'a>(
state: OrderedHashMap<VarId, V>,
ids: impl Iterator<Item = &'a VarId>,
) -> Result<(OrderedHashMap<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.