diff options
| author | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-29 14:18:13 +0200 |
|---|---|---|
| committer | Grégoire Duchêne <gduchene@awhk.org> | 2014-09-29 14:18:13 +0200 |
| commit | d8a7500f03b0d5c7eb8caba0042ffcefdfec87c2 (patch) | |
| tree | 98b158ad76f5b81936edb9d4af03ca45b8812123 /tests/TrivialValue.ml | |
| parent | 187dcd089f8a86e8d8e769769496f791d69ec09d (diff) | |
Clarified a few helper functions
Diffstat (limited to 'tests/TrivialValue.ml')
0 files changed, 0 insertions, 0 deletions