diff options
| author | Hugo Herbelin | 2016-12-23 11:53:17 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2016-12-23 11:53:44 +0100 |
| commit | 3b821bf60d89c386c27487e172e57a669b5c4662 (patch) | |
| tree | 20da642d2c626293a44ebc2b46a49c64a739c3ad /kernel/cbytecodes.ml | |
| parent | ac630f12c9d80c9387d44f3f1a1b22db5b5b89da (diff) | |
Excluding explicitly coinductive types in Scheme Equality (#5284).
Diffstat (limited to 'kernel/cbytecodes.ml')
0 files changed, 0 insertions, 0 deletions