Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
transform
apply.ml
Find file
Blame
History
Permalink
subst_all substitute all local definitions.
· 621a53a7
Sylvain Dailler
authored
Jul 04, 2017
Do not work on a lot of definitions of the language.
621a53a7