1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

// This is free and unencumbered software released into the public domain.

use crate::root::Namespace;

pub trait Type: Namespace {
    fn is_abstract(&self) -> bool {
        false
    }

    fn is_sufficient(&self) -> bool {
        false
    }

    fn is_conjugated(&self) -> bool {
        false
    }

    fn specializes(&self, _supertype: &Self) -> bool {
        false
    }
}