diff options
Diffstat (limited to 'typing/env.mli')
| -rw-r--r-- | typing/env.mli | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/typing/env.mli b/typing/env.mli index 06a1e2beb3..367299aa69 100644 --- a/typing/env.mli +++ b/typing/env.mli @@ -157,7 +157,8 @@ val read_signature: string -> string -> signature val save_signature: signature -> string -> string -> signature (* Arguments: signature, module name, file name. *) val save_signature_with_imports: - signature -> string -> string -> (string * Digest.t option) list -> signature + signature -> string -> string -> (string * Digest.t option) list + -> signature (* Arguments: signature, module name, file name, imported units with their CRCs. *) |