flux_fhir_analysis

Function sort_of_assoc_reft

Source 
pub(crate) fn sort_of_assoc_reft(
    genv: GlobalEnv<'_, '_>,
    assoc_id: FluxId<MaybeExternId>,
) -> QueryResult<EarlyBinder<FuncSort>>