1.1 --- a/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 15:25:44 2022 +0200
     1.2 +++ b/src/Tools/isac/BaseDefinitions/method-def.sml	Thu Aug 04 15:38:42 2022 +0200
     1.3 @@ -12,15 +12,12 @@
     1.4    val id_to_string: id -> string
     1.5  
     1.6    type T
     1.7 -(*type met*)
     1.8    val empty: T
     1.9 -(*val e_met: T*)
    1.10 +
    1.11    type store
    1.12 -(*type mets*)
    1.13    val empty_store: T Store.node
    1.14 -(*val e_Mets: T Store.node*)
    1.15 +
    1.16    val check_unique: Check_Unique.id -> T Store.T -> unit
    1.17 -(*val check_metguh_unique: Check_Unique.id -> T Store.T -> unit*)
    1.18  end
    1.19  
    1.20  (**)