diff options
Diffstat (limited to 'typing/ctype.mli')
| -rw-r--r-- | typing/ctype.mli | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/typing/ctype.mli b/typing/ctype.mli index 37c4bb97fd..2af24c3681 100644 --- a/typing/ctype.mli +++ b/typing/ctype.mli @@ -264,3 +264,8 @@ val collapse_conj_params: Env.t -> type_expr list -> unit val get_current_level: unit -> int val wrap_trace_gadt_instances: Env.t -> ('a -> 'b) -> 'a -> 'b + +(* Stubs *) +val package_subtype : + (Env.t -> Path.t -> Longident.t list -> type_expr list -> + Path.t -> Longident.t list -> type_expr list -> bool) ref |