diff options
| author | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2016-09-04 14:06:50 -0400 |
|---|---|---|
| committer | Valentin Gatien-Baron <valentin.gatienbaron@gmail.com> | 2017-08-01 07:40:01 -0400 |
| commit | ff05023fdecb83dff9cc1685fca8422776e19503 (patch) | |
| tree | eb22ed64e71ce36512d8f37af33c1d9fe0957ea0 /typing/subst.mli | |
| parent | f29cd5ab6dcd544b52493fece64563f2621f4ff3 (diff) | |
| download | ocaml-ff05023fdecb83dff9cc1685fca8422776e19503.tar.gz | |
Support syntax: S with module M.N := ..
Diffstat (limited to 'typing/subst.mli')
| -rw-r--r-- | typing/subst.mli | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/typing/subst.mli b/typing/subst.mli index 49ded0cacd..edbb975304 100644 --- a/typing/subst.mli +++ b/typing/subst.mli @@ -38,6 +38,7 @@ val add_type_path: Path.t -> Path.t -> t -> t val add_type_function: Path.t -> params:type_expr list -> body:type_expr -> t -> t 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 for_saving: t -> t val reset_for_saving: unit -> unit |