diff options
| author | Jason Gross | 2016-06-07 22:55:50 -0400 |
|---|---|---|
| committer | Jason Gross | 2016-06-07 22:59:14 -0400 |
| commit | 3eb1e805be574064225e832bffb01f2410c41518 (patch) | |
| tree | 7405012c05e1436db7ecfd55693f010c88ed689c /kernel/type_errors.mli | |
| parent | ffba3c1cd397ecab2ad6e701a6ff693d93465744 (diff) | |
Add is_ind, is_constructor, is_proj
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions