Module ocaml 

Structs

OcamlFrontend

OCaml’s source-label stage. Dune projects overlay compiler-libs Typedtree paths in analyze_semantic_project; standalone source sets retain conservative module/local resolution and the same graph contract.

Statics

OCAML_BACKEND

Functions

analyze_semantic_project

Analyze a Dune project from compiler-generated .cmt Typedtrees. Source parsing remains responsible for language-shaped labels; resolved Path.t values from compiler-libs are authoritative for call identity.

analyze_source_project

Analyze an OCaml source set without a Dune project. This is used for standalone source trees; Dune projects use analyze_semantic_project.