Mentions légales du service
Skip to content
GitLab
Explore
Sign in
POTTIER Francois
menhir
Repository
menhir
src
engineTypes.ml
Find file
Blame
History
Permalink
Changed [env] to a two-argument phantom type, and used [Obj.magic]
· fd56612b
POTTIER Francois
authored
Dec 08, 2014
to artifically cast [offer] and [handle] to a more general type.
fd56612b