Add int types header#558

digantdesai wants to merge 1 commit intopytorch:mainpytorch/executorch:mainfrom

digantdesai:export-D49780125digantdesai/executorch:export-D49780125Copy head branch name to clipboard