diff options
| author | Arnaud Spiwack | 2015-01-14 14:04:02 +0100 |
|---|---|---|
| committer | Arnaud Spiwack | 2015-01-14 14:50:58 +0100 |
| commit | 5ec324ab5101be45c9cf9ffda9cbbbffde9b7df9 (patch) | |
| tree | 0eb69496d39b8535384b5eaa535f8f8e9601b610 /kernel/nativecode.ml | |
| parent | b63549edce71492617db99a75410256f1b0239b0 (diff) | |
Reference manual: document multimatch.
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions