blob: f27801b0f6caec31947c984b6ca4f3575057b736 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
use super::with;
#[derive(Copy, Clone, Debug)]
pub struct Ty(pub usize);
impl Ty {
pub fn kind(&self) -> TyKind {
with(|context| context.ty_kind(*self))
}
}
pub enum TyKind {
Bool,
Tuple(Vec<Ty>),
}
|