aboutsummaryrefslogtreecommitdiff
path: root/tests/tree/splay_test.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@chimrod.com>2017-07-14 11:35:19 +0200
committerSébastien Dailly <sebastien@chimrod.com>2017-07-14 11:35:19 +0200
commitd39d55610e792bd4f6f1c2d452f4f1142b27c489 (patch)
tree08ca4b568eb5f5fb58ca08393991a9dae1533b02 /tests/tree/splay_test.ml
parent771d4155d5439253c891157aee7206a09c9f48bd (diff)
Added pure equality type in catalog
Diffstat (limited to 'tests/tree/splay_test.ml')
0 files changed, 0 insertions, 0 deletions