diff options
Diffstat (limited to 'bytecomp/translmod.mli')
| -rw-r--r-- | bytecomp/translmod.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/bytecomp/translmod.mli b/bytecomp/translmod.mli index 14ef3bb926..7a2aa5a0f2 100644 --- a/bytecomp/translmod.mli +++ b/bytecomp/translmod.mli @@ -22,9 +22,10 @@ val transl_implementation: string -> structure * module_coercion -> lambda val transl_store_implementation: string -> structure * module_coercion -> int * lambda val transl_toplevel_definition: structure -> lambda -val transl_package: Ident.t list -> Ident.t -> module_coercion -> lambda +val transl_package: + Ident.t option list -> Ident.t -> module_coercion -> lambda val transl_store_package: - Ident.t list -> Ident.t -> module_coercion -> int * lambda + Ident.t option list -> Ident.t -> module_coercion -> int * lambda val toplevel_name: Ident.t -> string |