diff options
| author | Pierre-Marie Pédrot | 2016-05-10 08:56:15 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-05-10 19:28:24 +0200 |
| commit | 946a3d4a800ae1f459cb67cc15c9e6ec44fb3f94 (patch) | |
| tree | 018d9b35935adc0a338e67bc62161da7ce460393 /kernel/nativevalues.ml | |
| parent | 53724bbcce87da0b1a9a71da4e5334d7a893ba49 (diff) | |
Simpler data structure for Arules token.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions