Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
transform
split_conjunction.ml
Find file
Blame
History
Permalink
add the initial task parameter to fold_map, map, decl, and expr in Trans.
· 2214aa5f
Andrei Paskevich
authored
Mar 17, 2010
In the majority of cases, it is just None.
2214aa5f