Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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