Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
boolVar.ml
Find file
Blame
History
Permalink
Add test cases for Types.subst
· 4f52e0f0
Pietro Abate
authored
Feb 07, 2014
- There is still an error in the type representation that is the result of a substitution.
4f52e0f0