Out_type.Variable_names
val add_subst : (Types.type_expr * Types.type_expr) list -> unit
val reserve : Types.type_expr -> unit