flux_desugar::resolver::refinement_resolver

Static SORTS

Source 
pub(crate) static SORTS: LazyLock<Sorts>