aboutsummaryrefslogtreecommitdiff
path: root/src/type/util.rs
blob: 27fc6615b963c1f40ea84cec3bef7b846c8e05a7 (plain)
1
2
3
4
5
6
7

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

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