Function conv_adt_sort_def

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