Constant representability_adt_ty 

pub const representability_adt_ty: &str = "representability_adt_ty";