| author | Walther Neuper <walther.neuper@jku.at> |
| Tue, 21 Apr 2020 10:53:04 +0200 | |
| changeset 59895 | 454fad8ab67a |
| parent 59894 | b9e10434530c |
| child 59903 | 5037ca1b112b |
| permissions | -rw-r--r-- |
1 (* Title: Interpret/lucas-interpreter.sml
2 Author: Walther Neuper 2019
3 (c) due to copyright terms
4 *)
6 signature METHOD =
7 sig
8 type T = Meth_Def.T
10 (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
11 (*NONE*)
12 (*/-------------------------------------------------------- ! aktivate for Test_Isac BEGIN ---\* )
13 (*NONE*)
14 ( *\--- ! aktivate for Test_Isac END ----------------------------------------------------------/*)
15 end
17 (**)
18 structure Method(**): METHOD(**) =
19 struct
20 (**)
22 type T = Meth_Def.T;
24 (**)end(**)