diff options
Diffstat (limited to 'kernel/modops.mli')
| -rw-r--r-- | kernel/modops.mli | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/kernel/modops.mli b/kernel/modops.mli index 6aed95988..11eb876ad 100644 --- a/kernel/modops.mli +++ b/kernel/modops.mli @@ -76,13 +76,11 @@ val subst_modtype_and_resolver : module_type_body -> module_path -> val clean_bounded_mod_expr : module_signature -> module_signature -(** {6 Stm machinery : join and prune } *) +(** {6 Stm machinery } *) val join_module : module_body -> unit val join_structure : structure_body -> unit -val prune_structure : structure_body -> structure_body - (** {6 Errors } *) type signature_mismatch_error = |