use crate::r#type::{*, Type::*};

pub fn arr(a: impl Into<Box<Type>>, b: impl Into<Box<Type>>) -> Type {
    Arrow(a.into(), b.into())
}

pub fn vt(name: &str) -> Type {
    VarType(name.to_string())
}