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