diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-06-07 22:55:50 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-06-07 22:59:14 -0400 |
| commit | 3eb1e805be574064225e832bffb01f2410c41518 (patch) | |
| tree | 7405012c05e1436db7ecfd55693f010c88ed689c /dev/printers.mllib | |
| parent | ffba3c1cd397ecab2ad6e701a6ff693d93465744 (diff) | |
Add is_ind, is_constructor, is_proj
Diffstat (limited to 'dev/printers.mllib')
0 files changed, 0 insertions, 0 deletions