Skip to content
GitLab
Explore
Sign in
cduce
cduce
Repository
cduce
types
boolVar.ml
Find file
Blame
History
Permalink
API change BoolVar.get -> BoolVar.leafconf
· c4aa99cd
Pietro Abate
authored
Dec 18, 2013
BoolVar.get not is reinstated to return a list of pairs Add new unit test for Types.witness (WIP)
c4aa99cd