diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2010-04-11 12:45:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2010-04-11 12:45:15 -0400 |
| commit | efb882576e0fe75fa25829b417ea909b572634a5 (patch) | |
| tree | 263fbd3e49bfad578b96fcbf7aad2ba07aba1c61 /src/mono_print.sml | |
| parent | accb8e1bf49e1c1e8300bda9be3cf72ce592ab44 (diff) | |
Express all query outputs using record literals
Diffstat (limited to 'src/mono_print.sml')
0 files changed, 0 insertions, 0 deletions