Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package typpx
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
The vanilla OCaml's type inference algorithm
val type_implementation :
string ->
string ->
string ->
Env.t ->
Parsetree.structure ->
Typedtree.structure * Typedtree.module_coercionval type_interface :
string ->
Env.t ->
Parsetree.signature ->
Typedtree.signatureval simplify_signature : Types.signature -> Types.signature