pub type InternalVars<F> = HashMap<usize, (Vec<(F, V)>, Option<F>)>;
pub struct InternalVars<F> { /* private fields */ }