pub(crate) fn adt_sort_def_of( genv: GlobalEnv<'_, '_>, def_id: MaybeExternId, ) -> QueryResult<AdtSortDef>