diff options
Diffstat (limited to 'library/impargs.mli')
| -rw-r--r-- | library/impargs.mli | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/library/impargs.mli b/library/impargs.mli index 3ba928508..297145f09 100644 --- a/library/impargs.mli +++ b/library/impargs.mli @@ -120,8 +120,6 @@ val maybe_declare_manual_implicits : bool -> global_reference -> ?enriching:bool val implicits_of_global : global_reference -> implicits_list list -val strict_implicits_of_global : int -> global_reference -> bool list - val extract_impargs_data : implicits_list list -> ((int * int) option * implicit_status list) list |