Module Types.Map_wrapped
Parameters
module From : Types.Wrappedmodule To : Types.WrappedSignature
type mapper = {map_signature : mapper -> From.signature -> To.signature;map_type_expr : mapper -> Types.type_expr From.wrapped -> Types.type_expr To.wrapped;
}val value_description :
mapper ->
From.value_description ->
To.value_descriptionval module_declaration :
mapper ->
From.module_declaration ->
To.module_declarationval modtype_declaration :
mapper ->
From.modtype_declaration ->
To.modtype_declarationval module_type : mapper -> From.module_type -> To.module_typeval signature : mapper -> From.signature -> To.signatureval signature_item : mapper -> From.signature_item -> To.signature_itemval functor_parameter :
mapper ->
From.functor_parameter ->
To.functor_parameter