diff options
| author | Arnaud Spiwack | 2016-06-25 21:32:19 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-06-27 12:36:17 +0200 |
| commit | 5ee1e3dabdee3073f179a7839b06b0ef9288fd81 (patch) | |
| tree | e28aed7a6fec21b4e12e538825d0706dd02c886f /kernel/nativevalues.ml | |
| parent | cbbc76d0ac6c9710d341b8bc0362aa9d7599f45d (diff) | |
Patterns in binders: printing tests
Diffstat (limited to 'kernel/nativevalues.ml')
0 files changed, 0 insertions, 0 deletions