diff options
| author | Pierre Boutillier | 2014-06-03 18:07:18 +0200 |
|---|---|---|
| committer | Pierre Boutillier | 2014-06-04 14:11:33 +0200 |
| commit | 848f2c41e605287c99e84c2f8ea1747c8a34e201 (patch) | |
| tree | 5454e67be508c8dea44db6069455cdcf41dd5ead /kernel/nativelib.mli | |
| parent | 7d7784230d91f67bdc5a3bf06caab296c64034a8 (diff) | |
cbn understand ! Arguments directive
Of course, this is an under approximation of the expected behavior : unfolding
a constant iff a leaf of its underlying split-tree is reached.
Diffstat (limited to 'kernel/nativelib.mli')
0 files changed, 0 insertions, 0 deletions