diff options
| author | Hugo Herbelin | 2016-12-05 12:35:01 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2017-04-27 17:23:17 +0200 |
| commit | 9839375100365ea3bd28bfc2efdb701db7d83adb (patch) | |
| tree | 0e26b4109b809ce587852eedb3682f8d35cb5e32 /dev/base_include | |
| parent | e2a8edaf595827af82be67a90c0c5b22c987abe5 (diff) | |
Test surgical use of beta-iota in the type of variables coming from
pattern-matching for refine.
Diffstat (limited to 'dev/base_include')
0 files changed, 0 insertions, 0 deletions