1.1 --- a/src/Tools/isac/MathEngBasic/method.sml	Wed Apr 22 11:23:30 2020 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/method.sml	Wed Apr 22 14:36:27 2020 +0200
     1.3 @@ -6,6 +6,12 @@
     1.4  signature METHOD =
     1.5  sig
     1.6    type T = Meth_Def.T
     1.7 +  val empty: T
     1.8 +
     1.9 +  type id = Meth_Def.id
    1.10 +  val id_empty: id
    1.11 +  val id_to_string: id -> string
    1.12 +(*val metID2str: id -> string*)
    1.13  
    1.14  (* ---- for tests only: shifted from below to remove the Warning "unused" at fun.def. --------- *)
    1.15    (*NONE*)
    1.16 @@ -20,5 +26,10 @@
    1.17  (**)
    1.18  
    1.19  type T = Meth_Def.T;
    1.20 +val empty = Meth_Def.empty;
    1.21 +
    1.22 +type id = Meth_Def.id;
    1.23 +val id_empty = Meth_Def.id_empty;
    1.24 +val id_to_string = Meth_Def.id_to_string;
    1.25  
    1.26  (**)end(**)