Function flux_fhir_analysis::invariants_of

source ยท 
pub(crate) fn invariants_of(
    genv: GlobalEnv<'_, '_>,
    item: &Item<'_>,
) -> QueryResult<Vec<Invariant>>