Function hindley_milner::new_variable
[−]
[src]
pub fn new_variable(a: &mut Vec<Type>) -> ArenaType
A binary type constructor which builds function types