package ocaml-protoc

  1. Overview
  2. Docs

Typing compilation step

This module performs the typing step in the compilation process by doing the following:

  • Type tree construction and validation
  • Type resolution
  • Recursion analysis by grouping together all the mutually recursive types.

perform_typing parsed_tree returned the type tree organized in groups of fully resolved types. Each group contains all the mutually recursive types and the type group by reverse dependency order.


Innovation. Community. Security.