runtime · f4b661e6162a8515efacceee7dab6f76b9c25195 · cduce / cduce · GitLab

History Find file

Refactor the Bool/BoolVar code so that they share the same interface. Give... · a8f46774
Kim Nguyễn authored Mar 18, 2015
```
Refactor the Bool/BoolVar code so that they share the same interface. Give access to the underlying atom module in BoolVar.
```
a8f46774

Name	Last commit	Last update
..
cduce_expat.ml		Loading commit data...
cduce_expat.mli		Loading commit data...
cduce_pxp.ml		Loading commit data...
cduce_pxp.mli		Loading commit data...
eval.ml		Loading commit data...
eval.mli		Loading commit data...
explain.ml		Loading commit data...
explain.mli		Loading commit data...
load_xml.ml		Loading commit data...
load_xml.mli		Loading commit data...
print_xml.ml		Loading commit data...
print_xml.mli		Loading commit data...
run_dispatch.ml		Loading commit data...
run_dispatch.mli		Loading commit data...
serial.ml		Loading commit data...
serial.mli		Loading commit data...
system.ml		Loading commit data...
value.ml		Loading commit data...
value.mli		Loading commit data...