diff options
author | Thomas Refis <thomas.refis@gmail.com> | 2018-09-20 15:07:58 -0400 |
---|---|---|
committer | Thomas Refis <thomas.refis@gmail.com> | 2018-09-21 11:48:47 -0400 |
commit | 4d4fd525c987aa80244d225b2fba09e8dd47f917 (patch) | |
tree | d8c7c9faa99c2f2e129dd8007af97a3abf9c0d60 /typing/subst.mli | |
parent | e452ac15abc710ab2de41145866e5831b23620c2 (diff) | |
download | ocaml-4d4fd525c987aa80244d225b2fba09e8dd47f917.tar.gz |
move refresh_signature out of Subst, add Env.enter_signature
Diffstat (limited to 'typing/subst.mli')
-rw-r--r-- | typing/subst.mli | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/typing/subst.mli b/typing/subst.mli index 426b5460db..33463c75ca 100644 --- a/typing/subst.mli +++ b/typing/subst.mli @@ -57,12 +57,11 @@ val class_declaration: t -> class_declaration -> class_declaration val cltype_declaration: t -> class_type_declaration -> class_type_declaration val modtype: t -> module_type -> module_type val signature: t -> signature -> signature +val signature_item: t -> signature_item -> signature_item val modtype_declaration: t -> modtype_declaration -> modtype_declaration val module_declaration: t -> module_declaration -> module_declaration val class_signature: t -> class_signature -> class_signature -val refresh_signature: scope:int -> signature -> signature - (* Composition of substitutions: apply (compose s1 s2) x = apply s2 (apply s1 x) *) val compose: t -> t -> t |