diff options
Diffstat (limited to 'kernel/vars.mli')
| -rw-r--r-- | kernel/vars.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/vars.mli b/kernel/vars.mli index f7535e6d8..adeac422e 100644 --- a/kernel/vars.mli +++ b/kernel/vars.mli @@ -75,7 +75,7 @@ val adjust_subst_to_rel_context : Context.Rel.t -> constr list -> constr list (** Take an index in an instance of a context and returns its index wrt to the full context (e.g. 2 in [x:A;y:=b;z:C] is 3, i.e. a reference to z) *) -val adjust_rel_to_rel_context : Context.Rel.t -> int -> int +val adjust_rel_to_rel_context : ('a, 'b) Context.Rel.pt -> int -> int (** [substnl [a₁;...;an] k c] substitutes in parallel [a₁],...,[an] for respectively [Rel(k+1)],...,[Rel(k+n)] in [c]; it relocates |