diff options
| author | Pierre Letouzey | 2015-01-16 14:52:31 +0100 |
|---|---|---|
| committer | Pierre Letouzey | 2015-01-16 14:52:31 +0100 |
| commit | b6aaeaf1f49088bac2dbe9dd2b2eafe55fb042c5 (patch) | |
| tree | 9806dd4cd293f0de3632dea8e78f25e100e91072 /kernel/nativelambda.ml | |
| parent | 2999e0bd62113b94024b55a4ef1406edd73bc87e (diff) | |
ListSet: follow-up of Sebastien's last commit
More results on set_remove, in particular explicit the NoDup
pre-condition. Show that NoDup is preserved by other operations.
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions