diff options
| author | Enrico Tassi | 2014-01-24 17:33:14 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-01-26 14:20:52 +0100 |
| commit | 724c9c9f922e50afc24651e2e07390c3dd7babf6 (patch) | |
| tree | d4ce6a7d63c18a137aec5dc2415ef1d5046a0b5a /kernel/nativelambda.mli | |
| parent | 8c0f9b63cb923a6cb6682124cd48db5da391075c (diff) | |
Coercions: avoid imperative data structure
Diffstat (limited to 'kernel/nativelambda.mli')
0 files changed, 0 insertions, 0 deletions