Function conv_adt_sort_def

pub(crate) fn conv_adt_sort_def(
    genv: GlobalEnv<'_, '_>,
    def_id: MaybeExternId,
    refined_by: &RefinedBy<'_>,
) -> QueryResult<AdtSortDef>