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