Function flux_fhir_analysis::spec_func_decl

source ยท
pub(crate) fn spec_func_decl(
    genv: GlobalEnv<'_, '_>,
    name: Symbol,
) -> QueryResult<SpecFuncDecl>