3#include <nlohmann/json.hpp>
13 const nlohmann::json *
read;
Definition param_annotations.cpp:1112
void propagate_scalar_params(const std::vector< module_ast > &modules)
Annotate the unannotated parameters of imported modules' top-level functions with the scalar type eve...
Definition param_annotations.cpp:1128
void propagate_tuple_list_params(const std::vector< module_ast > &modules)
Retype list[...] parameters from the tuples their callers pass.
Definition param_annotations.cpp:1113
One module's AST.
Definition param_annotations.h:12
nlohmann::json * write
Definition param_annotations.h:14
std::string name
Definition param_annotations.h:15
const nlohmann::json * read
Definition param_annotations.h:13