Function flux_fhir_analysis::sort_of_assoc_reft

source ยท 
pub(crate) fn sort_of_assoc_reft(
    genv: GlobalEnv<'_, '_>,
    def_id: LocalDefId,
    name: Symbol,
) -> QueryResult<Option<EarlyBinder<FuncSort>>>