Function hindley_milner::new_variable

pub fn new_variable(a: &mut Vec<Type>) -> ArenaType

A binary type constructor which builds function types