Up

module Subst

: sig

#

type t

#

val identity : t

#

val add_type : Ident.t -> Path.t -> t -> t

#

val add_module : Ident.t -> Path.t -> t -> t

#

val add_modtype : Ident.t -> Types.module_type -> t -> t

#

val for_saving : t -> t

#

val reset_for_saving : unit -> unit

#

val module_path : t -> Path.t -> Path.t

#

val type_path : t -> Path.t -> Path.t

#

val type_expr : t -> Types.type_expr -> Types.type_expr

#

val class_type : t -> Types.class_type -> Types.class_type

#

val value_description : t -> Types.value_description -> Types.value_description

#

val type_declaration : t -> Types.type_declaration -> Types.type_declaration

#

val extension_constructor : t -> Types.extension_constructor -> Types.extension_constructor

#

val class_declaration : t -> Types.class_declaration -> Types.class_declaration

#

val cltype_declaration : t -> Types.class_type_declaration -> Types.class_type_declaration

#

val modtype : t -> Types.module_type -> Types.module_type

#

val signature : t -> Types.signature -> Types.signature

#

val modtype_declaration : t -> Types.modtype_declaration -> Types.modtype_declaration

#

val module_declaration : t -> Types.module_declaration -> Types.module_declaration

#

val compose : t -> t -> t

end