ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
annotation_intrinsics.h
Go to the documentation of this file.
1#pragma once
2
3#include <map>
4#include <string>
5
7{
8// Mapping from a Python built-in / std-library identifier to the
9// type-annotation string that the Python frontend's annotation pass
10// substitutes for it during inference.
11//
12// The table is held by a function returning a reference to a
13// function-local `static const` map so there is exactly one definition
14// across all translation units. The data and the keys must be kept
15// byte-identical to the original namespace-scope `builtin_functions`
16// constant that previously lived in python_annotation.h — this is a
17// move, not a rewrite, and any divergence here is a semantic change
18// to type inference.
19const std::map<std::string, std::string> &builtin_functions();
20
21} // namespace python_annotation_intrinsics
Definition annotation_intrinsics.cpp:4
const std::map< std::string, std::string > & builtin_functions()
Definition annotation_intrinsics.cpp:5