diff options
Diffstat (limited to 'typing/cmt_format.mli')
| -rw-r--r-- | typing/cmt_format.mli | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/typing/cmt_format.mli b/typing/cmt_format.mli index 578d1743f3..30493063dc 100644 --- a/typing/cmt_format.mli +++ b/typing/cmt_format.mli @@ -48,6 +48,8 @@ and binary_part = type cmt_infos = { cmt_modname : string; cmt_annots : binary_annots; + cmt_value_dependencies : + (Types.value_description * Types.value_description) list; cmt_comments : (string * Location.t) list; cmt_args : string array; cmt_sourcefile : string option; @@ -94,10 +96,14 @@ val save_cmt : val read_magic_number : in_channel -> string +val clear: unit -> unit + val add_saved_type : binary_part -> unit val get_saved_types : unit -> binary_part list val set_saved_types : binary_part list -> unit +val record_value_dependency: Types.value_description -> Types.value_description -> unit + (* |