Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
gSet.ml
Find file
Blame
History
Permalink
GSet: specify that [union] preserves sharing when possible.
· f9b289a4
POTTIER Francois
authored
Dec 12, 2021
f9b289a4