diff options
author | 2008-06-08 12:27:08 -0400 | |
---|---|---|
committer | 2008-06-08 12:27:08 -0400 | |
commit | 32115a531d5ed6cafa25dc7d3b88c2679e5142a5 (patch) | |
tree | 17f75e04d2559dc15a0f184c1c7da266de8a5a16 /src/elab_print.sig | |
parent | c060d15003e3435d4d4c770d8f109f756db13ef5 (diff) |
Primitive type constants
Diffstat (limited to 'src/elab_print.sig')
0 files changed, 0 insertions, 0 deletions