pub const inhabited_predicate_adt: &str = _;