Constant adt_sizedness_constraint 

pub const adt_sizedness_constraint: &str = "adt_sizedness_constraint";