Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
transform
inlining.mli
Find file
Blame
History
Permalink
Inlining: put [@inline:trivial] over an lsymbol to force inlining
· 5e93e6d7
Andrei Paskevich
authored
Mar 25, 2019
5e93e6d7