Function flux_fhir_analysis::adt_sort_def_of

source ยท 
pub(crate) fn adt_sort_def_of(
    genv: GlobalEnv<'_, '_>,
    def_id: LocalDefId,
) -> QueryResult<AdtSortDef>