Commit a78087aa authored by MARCHE Claude's avatar MARCHE Claude

fix comment on Term.t_subst_types

parent 8bd0da66
......@@ -398,7 +398,9 @@ val t_ty_subst : ty Mtv.t -> term Mvs.t -> term -> term
val t_subst_types : ty Mtv.t -> term Mvs.t -> term -> term Mvs.t * term
(** [t_subst_types mt mv t] substitutes type variables by
mapping [mt] simultaneously in substitution [mv] and in term [t] *)
mapping [mt] simultaneously in substitution [mv] and in term [t].
beware that this operation may rename the variables in t
*)
(** {2 Find free variables and type variables} *)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment