diff options
author | octachron <octa@polychoron.fr> | 2021-01-22 15:42:33 +0100 |
---|---|---|
committer | octachron <octa@polychoron.fr> | 2021-02-17 16:46:32 +0100 |
commit | a4999fce9c38470a612180d0be47613117bffc61 (patch) | |
tree | 06d0cace98ef4c8823372a5c7b0df2191e248333 /typing/subst.mli | |
parent | d288b257b4798081cb7350e2c5281285cc941521 (diff) | |
download | ocaml-a4999fce9c38470a612180d0be47613117bffc61.tar.gz |
Subst: add_modtype_path function
Deep destructive substitution might require to substitute whole module type
paths rather than just identifiers.
Diffstat (limited to 'typing/subst.mli')
-rw-r--r-- | typing/subst.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/typing/subst.mli b/typing/subst.mli index 67c0153609..d988ed1fac 100644 --- a/typing/subst.mli +++ b/typing/subst.mli @@ -40,6 +40,8 @@ val add_type_function: val add_module: Ident.t -> Path.t -> t -> t val add_module_path: Path.t -> Path.t -> t -> t val add_modtype: Ident.t -> module_type -> t -> t +val add_modtype_path: Path.t -> module_type -> t -> t + val for_saving: t -> t val reset_for_saving: unit -> unit |