src/Pure/Concurrent/single_assignment.ML

 structure Single_Assignment: SINGLE_ASSIGNMENT =
 struct
 
 datatype 'a state =
     Set of 'a
-  | Unset of {lock: Mutex.mutex, cond: ConditionVar.conditionVar};
+  | Unset of {lock: Thread.Mutex.mutex, cond: Thread.ConditionVar.conditionVar};
 
 fun init_state () =
-  Unset {lock = Mutex.mutex (), cond = ConditionVar.conditionVar ()};
+  Unset {lock = Thread.Mutex.mutex (), cond = Thread.ConditionVar.conditionVar ()};
 
 abstype 'a var = Var of {name: string, state: 'a state Unsynchronized.ref}
 with
 
 fun var name = Var {name = name, state = Unsynchronized.ref (init_state ())};

       Multithreading.synchronized name lock (fn () =>
         (case ! state of
           Set _ => assign_fail name
         | Unset _ =>
             Thread_Attributes.uninterruptible (fn _ => fn () =>
-             (state := Set x; RunCall.clearMutableBit state; ConditionVar.broadcast cond)) ())));
+             (state := Set x; RunCall.clearMutableBit state;
+               Thread.ConditionVar.broadcast cond)) ())));
 
 end;
 
 end;