diff options
| author | Pierre-Marie Pédrot | 2015-03-24 19:58:18 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-03-24 20:57:24 +0100 |
| commit | 2e8e5cc85bfb7f2339fc38babd2dec0026ff5aa4 (patch) | |
| tree | a68b191e05607061ff1fbb4a1835277d1019880c /dev/include | |
| parent | b9048e5347c207b832d2bf2af022322025e59c08 (diff) | |
Functorized interface over object representation in votour.
This gives more safety in object manipulation, as we delimit the uses
of Obj functions, and allows for an alternative implementation of the
representation of OCaml structures.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions