kerml/core/
type.rs

1// This is free and unencumbered software released into the public domain.
2
3use crate::root::Namespace;
4
5pub trait Type: Namespace {
6    fn is_abstract(&self) -> bool {
7        false
8    }
9
10    fn is_sufficient(&self) -> bool {
11        false
12    }
13
14    fn is_conjugated(&self) -> bool {
15        false
16    }
17
18    fn specializes(&self, _supertype: &Self) -> bool {
19        false
20    }
21}