Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
tests
libtest
apply2Test.ml
Find file
Blame
History
Permalink
Types with variables are no longer internally represented by the same
· f3e5914d
Pietro Abate
authored
Mar 08, 2014
type. This change allows sharing only for types that do not contain variables.
f3e5914d