jon.recoil.org
this repo has no description
1(* Subst *)
2open Component
3
4type t = Component.Substitution.t
5
6val pp : Format.formatter -> t -> unit
7
8val identity : t
9
10val unresolve_opaque_paths : t -> t
11
12val path_invalidate_module : Ident.module_ -> t -> t
13
14val add_module :
15 Ident.module_ -> Cpath.module_ -> Cpath.Resolved.module_ -> t -> t
16
17val add_module_type :
18 Ident.module_type -> Cpath.module_type -> Cpath.Resolved.module_type -> t -> t
19
20val add_type : Ident.type_ -> Cpath.type_ -> Cpath.Resolved.type_ -> t -> t
21
22val add_class :
23 Ident.type_ -> Cpath.class_type -> Cpath.Resolved.class_type -> t -> t
24
25val add_class_type :
26 Ident.type_ -> Cpath.class_type -> Cpath.Resolved.class_type -> t -> t
27
28val add_type_replacement :
29 Ident.type_ -> TypeExpr.t -> TypeDecl.Equation.t -> t -> t
30
31val add_module_type_replacement : Ident.module_type -> ModuleType.expr -> t -> t
32
33val add_module_substitution : Ident.module_ -> t -> t
34
35val type_ : t -> Component.TypeDecl.t -> Component.TypeDecl.t
36
37val type_expr : t -> Component.TypeExpr.t -> Component.TypeExpr.t
38
39val module_ : t -> Component.Module.t -> Component.Module.t
40
41val module_type : t -> Component.ModuleType.t -> Component.ModuleType.t
42
43val module_type_substitution :
44 t -> Component.ModuleTypeSubstitution.t -> Component.ModuleTypeSubstitution.t
45
46val module_substitution :
47 t -> Component.ModuleSubstitution.t -> Component.ModuleSubstitution.t
48
49val module_type_expr :
50 t -> Component.ModuleType.expr -> Component.ModuleType.expr
51
52val exception_ : t -> Component.Exception.t -> Component.Exception.t
53
54val extension : t -> Component.Extension.t -> Component.Extension.t
55
56val include_ : t -> Component.Include.t -> Component.Include.t
57
58val open_ : t -> Component.Open.t -> Component.Open.t
59
60val value : t -> Component.Value.t -> Component.Value.t
61
62val class_ : t -> Component.Class.t -> Component.Class.t
63
64val class_decl : t -> Component.Class.decl -> Component.Class.decl
65
66val class_type : t -> Component.ClassType.t -> Component.ClassType.t
67
68val signature : t -> Component.Signature.t -> Component.Signature.t
69
70val apply_sig_map_items : t -> Signature.item list -> Signature.item list
71(** Apply substitutions. *)