diff options
| author | Maxime Dénès | 2019-05-29 18:09:04 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2019-05-29 18:09:04 +0200 |
| commit | 04398c5fa519b742ff5b97b61bbfa0c9f9d1549c (patch) | |
| tree | 02b1a143ac2ace1c332376c46b3069be48cb9068 /kernel/names.mli | |
| parent | a294ff8f9e73abb05f4449157422f5005eae7497 (diff) | |
| parent | 0683ccc035853c776d522c2bd716b18b9f39bd2a (diff) | |
Merge PR #10252: Various dynamic assertions and cleanups in opaque typing
Reviewed-by: SkySkimmer
Reviewed-by: maximedenes
Ack-by: ppedrot
Diffstat (limited to 'kernel/names.mli')
0 files changed, 0 insertions, 0 deletions