1.1 --- a/test/Tools/isac/BaseDefinitions/check-unique.sml	Tue Apr 21 11:28:20 2020 +0200
     1.2 +++ b/test/Tools/isac/BaseDefinitions/check-unique.sml	Tue Apr 21 12:26:08 2020 +0200
     1.3 @@ -32,15 +32,15 @@
     1.4  (*  collect*)
     1.5  fun collect select_guh pbls =
     1.6    let
     1.7 -    fun node coll (Store.Ptyp (_, [n], ns)) = [select_guh n] @ (nodes coll ns)
     1.8 -      | node _ _ = raise ERROR "collect_guhs: too general Store.Ptyp"
     1.9 +    fun node coll (Store.Node (_, [n], ns)) = [select_guh n] @ (nodes coll ns)
    1.10 +      | node _ _ = raise ERROR "collect_guhs: too general Store.Node"
    1.11  	  and nodes coll [] = coll
    1.12        | nodes coll (n :: ns) = (node coll n) @ (nodes coll ns);
    1.13    in nodes [] pbls end;
    1.14  
    1.15 -collect: ('a -> 'b) -> 'a   Store.ptyp list -> 'b list;
    1.16 -collect pbl_select_guh: pbt Store.ptyp list -> guh list;
    1.17 -collect met_select_guh: met Store.ptyp list -> guh list;
    1.18 +collect: ('a -> 'b) -> 'a   Store.T -> 'b list;
    1.19 +collect pbl_select_guh: pbt Store.T -> guh list;
    1.20 +collect met_select_guh: met Store.T -> guh list;
    1.21  
    1.22  fun message select store guh =
    1.23    if member op = (select store) guh
    1.24 @@ -50,15 +50,15 @@
    1.25    else ();
    1.26  
    1.27   message: ('a -> guh list       ) -> 'a           -> guh -> unit;
    1.28 -(message (collect pbl_select_guh)): pbt Store.ptyp list -> guh -> unit;
    1.29 -(message (collect met_select_guh)): met Store.ptyp list -> guh -> unit;
    1.30 +(message (collect pbl_select_guh)): pbt Store.T -> guh -> unit;
    1.31 +(message (collect met_select_guh)): met Store.T -> guh -> unit;
    1.32  
    1.33 -(Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.guh)): pbt Store.ptyp list -> guh list;
    1.34 -(Check_Unique.collect (#guh : Meth_Def.T -> Check_Unique.guh)): met Store.ptyp list -> guh list;
    1.35 +(Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.guh)): pbt Store.T -> guh list;
    1.36 +(Check_Unique.collect (#guh : Meth_Def.T -> Check_Unique.guh)): met Store.T -> guh list;
    1.37  
    1.38  val check_pblguh_unique = message (Check_Unique.collect (#guh : Probl_Def.T -> Check_Unique.guh));
    1.39 -check_pblguh_unique: pbt Store.ptyp list -> guh -> unit
    1.40 +check_pblguh_unique: pbt Store.T -> guh -> unit
    1.41  ;
    1.42  val check_metguh_unique = message (Check_Unique.collect (#guh : Meth_Def.T -> Check_Unique.guh));
    1.43 -check_metguh_unique: met Store.ptyp list -> guh -> unit
    1.44 +check_metguh_unique: met Store.T -> guh -> unit
    1.45  ;
    1.46 \ No newline at end of file