Previous Up Next

6.14.21  Substituer une valeur à une variable : subst substituer

subst a deux ou trois arguments : une expression dépendant d’un paramètre et une égalité (paramètre=valeur de substitution) ou une expression dependant d’un paramètre , le paramètre et la valeur de substitution.


Previous Up Next