Mentions légales du service
I'd like to extract to OCaml a WhyML code that clones appset.Appset. How is it supposed to work?
appset.Appset