diff options
| author | Alec Faithfull | 2015-10-06 14:19:34 +0200 |
|---|---|---|
| committer | Enrico Tassi | 2015-10-09 11:01:43 +0200 |
| commit | 56ca108e63191e90c3d4169c37a4c97017e3c6ae (patch) | |
| tree | 7f2e6e23ed8093d43ec3179980dcfaf5464eebc1 /kernel/nativecode.ml | |
| parent | ce0c536b4430711db1e30cd7ac35ae8d71d34e64 (diff) | |
TQueue: Expose the length of TQueues
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions