diff options
Diffstat (limited to 'typing/datarepr.mli')
| -rw-r--r-- | typing/datarepr.mli | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/typing/datarepr.mli b/typing/datarepr.mli index 30dc1f1f6c..e3962e3a07 100644 --- a/typing/datarepr.mli +++ b/typing/datarepr.mli @@ -19,13 +19,14 @@ open Types val extension_descr: - Path.t -> extension_constructor -> constructor_description + current_unit:string -> Path.t -> extension_constructor -> + constructor_description val labels_of_type: Path.t -> type_declaration -> (Ident.t * label_description) list val constructors_of_type: - Path.t -> type_declaration -> + current_unit:string -> Path.t -> type_declaration -> (Ident.t * constructor_description) list |