package typpx

  1. Overview
  2. Docs

The vanilla OCaml's type inference algorithm

val type_implementation : string -> string -> string -> Env.t -> Parsetree.structure -> Typedtree.structure * Typedtree.module_coercion
val type_interface : string -> Env.t -> Parsetree.signature -> Typedtree.signature
val simplify_signature : Types.signature -> Types.signature
OCaml

Innovation. Community. Security.