diff options
| author | Maxime Dénès | 2016-06-13 17:09:25 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2016-06-13 17:09:25 +0200 |
| commit | f6781defd922b80f8c48c4798c29644c99d5e611 (patch) | |
| tree | 2402da863e80e8703b7f645cfe5982d9768edacf /kernel/nativelambda.ml | |
| parent | 36f95a197b106b928a3fc99d7ee5904099a654e4 (diff) | |
Print Assumptions and co. can "pierce opacity".
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions