diff options
Diffstat (limited to 'src/type/util.rs')
| -rw-r--r-- | src/type/util.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/type/util.rs b/src/type/util.rs index 27fc661..9be8c6e 100644 --- a/src/type/util.rs +++ b/src/type/util.rs @@ -5,3 +5,7 @@ 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()) +} + |