use crate::addressing::Address; use crate::database::entry::InvariantEntry; pub const IS_OF_ATTR: &str = "OF"; pub const ATTR_BY_ATTR: &str = "BY"; pub const LABEL_ATTR: &str = "LBL"; pub const ADDED_ATTR: &str = "ADDED"; lazy_static! { pub static ref HIER_ROOT_INVARIANT: InvariantEntry = InvariantEntry { attribute: String::from(IS_OF_ATTR), value: "HIER_ROOT".into(), }; pub static ref HIER_ROOT_ADDR: Address = HIER_ROOT_INVARIANT.entity().unwrap(); }