/src/parser/spider_monkey_ast.ml: The type definitions for the AST. Tries to stay very close to ESTree/src/parser/lexer_flow.mll: The ocamllex lexer logic/src/parser/parser_flow.ml: The recursive descent JS parser
/src/typing/type_inference_js.ml: Contains the "entry point" for inference (Function calledinfer_ast)./src/typing/statement.ml: Most of the inference logic (runs through the AST and generates the initial constraints)