| changeset 38321 | 3d5e2b7d1374 |
| parent 38320 | 31174744b9a2 |
| child 38326 | 8c20eb9a388d |
| 38320:31174744b9a2 | 38321:3d5e2b7d1374 |
|---|---|
18 |
18 |
19 ML {* |
19 ML {* |
20 Code_Prolog.run (Code_Prolog.generate @{context} [@{const_name append}]) "append" ["X", "Y", "Z"] |
20 Code_Prolog.run (Code_Prolog.generate @{context} [@{const_name append}]) "append" ["X", "Y", "Z"] |
21 *} |
21 *} |
22 |
22 |
23 values "{(x, y, z). append x y z}" |
|
24 |
|
23 end |
25 end |