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