changeset 63806 | c54a53ef1873 |
parent 52606 | 0d68d108d7e0 |
63805:c272680df665 | 63806:c54a53ef1873 |
---|---|
29 type execution = generic; |
29 type execution = generic; |
30 |
30 |
31 val none = 0; |
31 val none = 0; |
32 val make = Counter.make (); |
32 val make = Counter.make (); |
33 |
33 |
34 val parse = Markup.parse_int; |
34 val parse = Value.parse_int; |
35 val print = Markup.print_int; |
35 val print = Value.print_int; |
36 |
36 |
37 end; |
37 end; |
38 |
38 |