pub fn core_array_felt252_ty(db: &dyn SemanticGroup) -> TypeId