2023-02-17 00:59:07 +01:00
|
|
|
|
|
|
|
use {
|
|
|
|
crate::{
|
2023-08-12 19:03:14 +02:00
|
|
|
type_system::{TypeTerm, TypeID},
|
2023-02-17 00:59:07 +01:00
|
|
|
tree::{TreeAddr}
|
|
|
|
}
|
|
|
|
};
|
|
|
|
|
|
|
|
pub trait TreeType {
|
2023-08-12 19:03:14 +02:00
|
|
|
fn get_type(&self, _addr: &TreeAddr) -> TypeTerm {
|
|
|
|
TypeTerm::new(TypeID::Var(0))
|
2023-02-17 00:59:07 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|