package typpx

  1. Overview
  2. Docs
val untyped_identity : Ast_mapper.mapper

The identity of untyped transformation.

Note that this is not equivalent with Ast_mapper.default_mapper but returns the input structure ans signature themselves immediately without any recursive traversal.

The vanilla OCaml's type inference algorithm

The identity of typed transformation

OCaml

Innovation. Community. Security.