package typpx

  1. Overview
  2. Docs

Typing

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