diff options
| author | Jason Gross | 2016-06-16 07:39:43 -0400 |
|---|---|---|
| committer | Jason Gross | 2016-06-16 07:39:43 -0400 |
| commit | 2c082f731f1fb6c867908504c4e454119e58e593 (patch) | |
| tree | 625acd069f9a9f2550e8af6863ce28cc3afe8785 /kernel/type_errors.mli | |
| parent | 3eb1e805be574064225e832bffb01f2410c41518 (diff) | |
Add is_const
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions