Constant adt_def 

pub const adt_def: &str = "adt_def";