diff options
Diffstat (limited to 'kernel/names.mli')
| -rw-r--r-- | kernel/names.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/names.mli b/kernel/names.mli index 8022cb199..c05e30b9b 100644 --- a/kernel/names.mli +++ b/kernel/names.mli @@ -169,6 +169,7 @@ sig end +module MBIset : Set.S with type elt = MBId.t module MBImap : Map.S with type key = MBId.t (** {6 The module part of the kernel name } *) |