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