Module Types.Map_wrapped
Parameters
Signature
type mapper = {map_signature : mapper -> From.signature -> To.signature;map_type_expr : mapper -> type_expr From.wrapped -> type_expr To.wrapped;map_value_description : mapper -> From.value_description -> To.value_description;
}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