Mentions légales du service
Skip to content
GitLab
Explore
Sign in
Why3
why3
Repository
why3
src
parser
typing.mli
Find file
Blame
History
Permalink
Add support for programs in why3doc by reusing the namespace lookup from Typing in Mlw_typing.
· 721efb49
Guillaume Melquiond
authored
Nov 06, 2012
721efb49