diff options
| author | Arnaud Spiwack | 2015-01-14 11:41:16 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-01-14 15:00:03 +0100 |
| commit | 9b6b7b3608ba15df55f8073e182c36cdb94f55b7 (patch) | |
| tree | 15a7b9efdfb61ab104f1728fdf84f95ba2e9aee9 /kernel/nativevalues.ml | |
| parent | 453dd2bc6eb24296530b2557628472d4296704e8 (diff) | |
Reference manual: document gfail.
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions