equal
deleted
inserted
replaced
|
1 (* Title: MathEngBasic/problem.sml |
|
2 Author: Walther Neuper 2019 |
|
3 (c) due to copyright terms |
|
4 *) |
|
5 |
|
6 signature PROBLEM = |
|
7 sig |
|
8 type T = Probl_Def.T |
|
9 |
|
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 |
|
16 |
|
17 (**) |
|
18 structure Problem(**): PROBLEM(**) = |
|
19 struct |
|
20 (**) |
|
21 |
|
22 type T = Probl_Def.T; |
|
23 |
|
24 |
|
25 (**)end(**) |