diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-01-08 10:15:45 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-01-08 10:15:45 -0500 |
| commit | 4b109c964ac7f433b4feb9d28b135dee28f75b87 (patch) | |
| tree | 222afdcae4c1001350fc852d989430730a0efdbf /tests/subs_sig.urs | |
| parent | 21118ae45de71e6d1c144064ed09d136466d8a4f (diff) | |
Injected a polymorphic, recursive type
Diffstat (limited to 'tests/subs_sig.urs')
0 files changed, 0 insertions, 0 deletions