pub fn de_get_function(
    index: DeclarationId,
    span: &Span
) -> Result<TyFunctionDeclaration, CompileError>