/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)