Function hindley_milner::new_function

pub fn new_function(
    a: &mut Vec<Type>, 
    from_type: ArenaType, 
    to_type: ArenaType
) -> ArenaType

A binary type constructor which builds function types